Directional types and the annotation method
- 1 December 1997
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 33 (3) , 179-220
- https://doi.org/10.1016/s0743-1066(96)00144-6
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- The execution algorithm of mercury, an efficient purely declarative logic programming languageThe Journal of Logic Programming, 1996
- Reasoning about Prolog programs: From modes through types to assertionsFormal Aspects of Computing, 1994
- Proof methods of declarative properties of definite programsTheoretical Computer Science, 1993
- Towards a meaning of lifeThe Journal of Logic Programming, 1993
- Adding equations to NU-PrologPublished by Springer Nature ,1991
- S-SLD-resolution — An operational semantics for logic programs with external proceduresPublished by Springer Nature ,1991
- Termination Proofs for Logic ProgramsPublished by Springer Nature ,1990
- Declarative modeling of the operational behavior of logic languagesTheoretical Computer Science, 1989
- Inductive assertion method for logic programsTheoretical Computer Science, 1988
- Semantics of context-free languagesTheory of Computing Systems, 1968