Leuschel, Michael
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002 Madrid, Spain, September 17-20, 2002 revised selected papers
- Berlin: Springer-Verlag, 2003
- 279 p.; Index.: 24 cm.
- 2664 .
- Lecture notes in computer science .
9783540404385 pbk
Debugging
Tabling
LOPSTR
Program Refinement
program transformation
Verification
Partial Evaluation
004 / LEU