An application of abstract interpretation of logic programs: Occur check reduction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 213 LNCS, Issue , 1986, Pages 327-338

  Søndergaard, Harald ^a  

^a Dansk Datamatik Center ^*  (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; APPLICATION PROGRAMS; COMPUTER CIRCUITS; MODEL CHECKING; COMPUTER SOFTWARE - SOFTWARE ENGINEERING;

ABSTRACT INTERPRETATIONS; CHECK-IN; LOGIC PROGRAMS; ROBINSON;

LOGIC PROGRAMMING; COMPUTER PROGRAMMING;

ROBINSON UNIFICATION;

EID: 0022822484     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-16442-1_25     Document Type: Conference Paper

References (10)

1. Cousot, P. and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proc. 4th ACM POPL Symp., Los Angeles, California (June 1977) 238-252
2. Eder, E., Properties of substitutions and unifications, Journal of Symbolic Computation 1,1 (March 1985) 31-46
3. Jones, N. D., P. Sestoft and H. Sømdergaard, An experiment in partial evaluation: The generation of a compiler generator, in IMS 202: Rewriting Techniques and Applications (ed. J.-P. Jouan-naud). Springer Verlag (1985) 124-140
4. Kowalski, R., A proof procedure using connection graphs. Journal of the ACM 22,4 (October 1975) 572-595
5. Hellish, C. S., The Automatic Generation of Mode Declarations for Prolog Programs, DAI Research Paper no. 163, University of Edinburgh, Scotland (1981)
6. Mellish, C. S., Abstract Interpretation of Prolog Programs, extended abstract presented at the Workshop on Abstract Interpretation of Declarative Languages, Canterbury, England (August 1985)
7. Nielson, F, A denotational framework for data flow analysis, Acta Informatica 18 (1982) 265-287
8. Plaisted, D., The occur-check problem in Prolog, Proc. Intl. Symp. Logic Programming, Atlantic City, New Jersey (February 1984) 272-280
9. Robinson, J. A., A machine-oriented logic based on the resolution principle. Journal of the ACM 12,1 (January 1965) 23-41
10. Warren, D. H. D., Implementing Prolog-Compiling Predicate Logic Programs, DAI Research Report no. 39, University of Edinburgh, Scotland (1977)