Search results for: John P. Gallagher
Clinical Transplantation > 34 > 11 > n/a - n/a
Science of Computer Programming > 2017 > 137 > C > 125-140
Computer Languages, Systems & Structures > 2017 > 47 > P1 > 2-18
Microprocessors and Microsystems > 2016 > 47 > PB > 278-286
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