Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
- 1 July 1988
- journal article
- Published by Elsevier in Information and Computation
- Vol. 78 (1) , 1-55
- https://doi.org/10.1016/0890-5401(88)90002-8
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Error diagnosis in logic programming an adaptation of E.Y. Shapiro's methodThe Journal of Logic Programming, 1987
- Relating logic programs and attribute grammarsThe Journal of Logic Programming, 1985
- Simple multi-visit attribute grammarsJournal of Computer and System Sciences, 1982
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness IITheoretical Computer Science, 1981
- Nondeterministic flowchart programs with recursive procedures: semantics and correctness ITheoretical Computer Science, 1981
- An order-algebraic definition of knuthian semanticsTheory of Computing Systems, 1979
- A New Incompleteness Result for Hoare's SystemJournal of the ACM, 1978
- On the completeness of the inductive assertion methodJournal of Computer and System Sciences, 1975
- Correct and optimal implementations of recursion in a simple programming languageJournal of Computer and System Sciences, 1974
- Recursive definitions of partial functions and their computationsACM SIGACT News, 1972