A type system for logic programs
- 28 February 1991
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 10 (2) , 125-153
- https://doi.org/10.1016/0743-1066(91)80002-u
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Type inference by program transformation and partial evaluationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A polymorphic type system with subtypes for PrologPublished by Springer Nature ,1988
- Specification=program+typesPublished by Springer Nature ,1987
- A polymorphic type system for prologArtificial Intelligence, 1984
- Aho, A. V. / Hopcroft, J. E. / Ullman, J. D., The Design and Analysis of Computer Algorithms. London‐Amsterdam‐Don Mills‐Sydney. Addison‐Wesley Publ. Comp. 1974 X, 470 S., $ 24,–ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, 1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955