Gallagher, John

Tutorial on specialisation of logic programs

Gallagher, J. P. (1993) · Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 171

The derivation of an algorithm for program specialisation

Gallagher, J., & Bruynooghe, M. (1991) · New Generation Computing

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 73

Ensuring Global Termination of Partial Deduction While Allowing Flexible Polyvariance

Martens, B., & Gallagher, J. (1995) · Logic Programming

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 69

Regular approximation of computation paths in logic and functional languages

Gallagher, J., & Lafave, L. (1996) · Lecture Notes in Computer Science

Logic, programming, and type systemsFormal Methods in Verification

Cited by 34