A closer look at declarative interpretations
- 31 August 1996
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 28 (2) , 147-180
- https://doi.org/10.1016/0743-1066(95)00150-6
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Reasoning about Prolog programs: From modes through types to assertionsFormal Aspects of Computing, 1994
- The s-semantics approach: Theory and applicationsThe Journal of Logic Programming, 1994
- Proof methods of declarative properties of definite programsTheoretical Computer Science, 1993
- Reasoning about Termination of Pure Prolog ProgramsInformation and Computation, 1993
- A Model-Theoretic Reconstruction of the Operational Semantics of Logic ProgramsInformation and Computation, 1993
- Unsolvable problems for SLDNF resolutionThe Journal of Logic Programming, 1991
- Declarative modeling of the operational behavior of logic languagesTheoretical Computer Science, 1989
- Inductive assertion method for logic programsTheoretical Computer Science, 1988
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982