Specialisation of Prolog and FCP programs using abstract interpretation

  title={Specialisation of Prolog and FCP programs using abstract interpretation},
  author={John P. Gallagher and Michael Codish and Ehud Shapiro},
  journal={New Generation Computing},
This paper presents an approach to specialising logic programs which is based on abstract interpretation. Program specialisation involves two stages, the construction of an abstract computation tree and a program construction stage. For the tree construction stage, abstract OLDT resolution is defined and used to construct a complete and finite tree corresponding to a given logic program and a goal. In the program construction stage, a specialised program is extracted from this tree. We focus on… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 16 references

A Minimal Graph Semantics for Logic Programs," University of Wisconsin--Madison

  • J. Gallagher, M. Codish, W. E. Shapiro Winsborough
  • Technical Report, Dept. of Computer Science,
  • 1987

A Semantics-Based Framework for the Abstract Interpretation of Prolog," in Abstract Interpretation of Declarative Languages (S

  • N. D. Jones, H. Scndergaard
  • 1987

Analyzing Success Patterns of Logic Programs by Abstract Hybrid Interpretation," ICOT

  • T. Kanamori, T. Kawamura
  • Technical Report,
  • 1987

Affinity Between Meta Interpreters and Partial Evaluation,

  • A. Takeuchi
  • ICOT Technial Report,
  • 1986

Global Optimizations of Logic Programs,

  • S. K. Debray
  • Ph. D Thesis, State University of New York at…
  • 1986

Similar Papers

Loading similar papers…