Bruynooghe, Maurice

A practical framework for theabstract interpretation of logic programs

Bruynooghe, M. (1991) · The Journal of Logic Programming

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

Cited by 243

Deriving descriptions of possible values of program variables by means of abstract interpretation

Janssens, G., & Bruynooghe, M. (1992) · The Journal of Logic Programming

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

Cited by 149

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

A general criterion for avoiding infinite unfolding during partial deduction

Bruynooghe, M., De Schreye, D., & Martens, B. (1992) · New Generation Computing

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

Cited by 67