Journals in DBLP

TPLP
2002, volume: 2, number: 4-5

1. Maurice Bruynooghe, Kung-Kiu Lau
   Special Issue on Program Development, Guest Editors' Introduction. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:4-5, pp:423-424 [Journal]
   
2. Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
   A refinement calculus for logic programs. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:4-5, pp:425-460 [Journal]
   
3. Michael Leuschel, Maurice Bruynooghe
   Logic program specialisation through partial deduction: Control issues. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:4-5, pp:461-515 [Journal]
   
4. Andy King, Lunjin Lu
   A Backward Analysis for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:4-5, pp:517-547 [Journal]
   
5. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
   Using parametric set constraints for locating errors in CLP programs. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:4-5, pp:549-610 [Journal]
   
6. Erwan Jahier, Mireille Ducassé
   Generic program monitoring by trace analysis. [Citation Graph (0, 0)][DBLP]
   TPLP, 2002, v:2, n:4-5, pp:611-643 [Journal]