Abstract interpretation of Prolog programs

  • C. S. Mellish
Session 5a: Program Analysis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

12. References

  1. Cousot, P. and Cousot, R., "Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints", Principles of Programming Languages, 1977.Google Scholar
  2. Debray, S. K., "Automatic Mode Inference for Prolog programs", Technical Report #85/019, State University of New York at Stony Brook, 1985.Google Scholar
  3. Jones, N. D., "Concerning the Abstract Interpretation of Prolog", draft paper, DIKU, Copenhagen, 1985.Google Scholar
  4. Jones, N. D. and Mycroft, A., "Data Flow Analysis of Applicative Programs using Minimal Function Graphs", Principles of Programming Languages, Florida, USA, 1986.Google Scholar
  5. Mellish, C. S., "The Automatic Generation of Mode Declarations for Prolog Programs", Paper presented at the Workshop on Logic Programming for Intelligent Systems, Los Angeles, 1981 (also DAI Research Paper 163, Dept of Artificial Intelligence, University of Edinburgh).Google Scholar
  6. Mellish, C. S., "Some Global Optimisations for a Prolog Compiler", Journal of Logic Programming, Vol 2, No 1, 1985.Google Scholar
  7. Mycroft, A., "The Theory and Practice of Transforming Call-by-need into Call-by-value", in Springer Lecture Notes in Computer Science, No 83, Springer Verlag, 1980.Google Scholar
  8. Plaisted, D., "The Occur-Check problem in Prolog", Procs of the International Symposium on Logic Programming, Atlantic City, USA, 1984.Google Scholar
  9. Sickel, S., "A Search Technique for Clause Interconnectivity Graphs" IEEE Trans. on Computers, C-25(8), 1976.Google Scholar
  10. Sintzoff, M., "Calculating Properties of Programs by Valuations on Specific Models", in Sigplan Notices Vol 7, No 1, 1972.Google Scholar
  11. Sondergaard, H., "An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction", DIKU, Copenhagen, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • C. S. Mellish
    • 1
  1. 1.Cognitive Studies ProgrammeUniversity of SussexUK

Personalised recommendations