Search results for: P. GALLAGHER
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 138-153
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Transformations > 115-132
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 11. Rewriting > 682-696
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Analysis and Specialisation > 102-117
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Software Development and Program Analysis > 147-162
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 27-45
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Verification and Analysis > 53-68
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Regular Papers > 243-261
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Analysis > 92-105
Lecture Notes in Computer Science > Logic Programming > 280-296
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Abstract Interpretation > 90-108
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 51-68