12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Abstract Interpretation > 52-70
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Abstract Interpretation > 71-89
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Abstract Interpretation > 90-108
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Abstract Interpretation > 109-110
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Debugging and Types > 1-16
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Debugging and Types > 17-31
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Partial Evaluation > 219-237
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Partial Evaluation > 238-257
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Partial Evaluation > 258-259
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Refinement > 111-125
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Refinement > 126-143
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Refinement > 144-157
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Rewriting and Object-Oriented Development > 260-261
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Rewriting and Object-Oriented Development > 262-277
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Rewriting and Object-Oriented Development > 278-279
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Tabling and Constraints > 32-47
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Tabling and Constraints > 48-49
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Tabling and Constraints > 50-51
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 158-159
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification > 160-181