|
Journals in DBLP
TPLP 2002, volume: 2, number: 4-5
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
|