12. LOPSTR 2002:
Madrid, Spain Michael Leuschel (Ed.):
Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers.
Lecture Notes in Computer Science 2664 Springer 2003, ISBN 3-540-40438-4 Debugging and Types
export record as
dblp key:
conf/lopstr/AlpuenteCEFL02 export record as
dblp key:
Tabling and Constraints
export record as
dblp key:
conf/lopstr/AbdennadherR02 export record as
dblp key:
export record as
dblp key:
Abstract Interpretation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program Refinement
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Verification
export record as
dblp key:
export record as
dblp key:
conf/lopstr/FioravantiPP02 export record as
dblp key:
conf/lopstr/Martin-MateosAHR02 export record as
dblp key:
Partial Evaluation
export record as
dblp key:
Germán Vidal :
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.
219-237
export record as
dblp key:
export record as
dblp key:
Rewriting and Object-Oriented Development
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
