Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 165-176
- https://doi.org/10.1007/3-540-51486-4_64
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Finite failures and partial computations in concurrent logic languagesTheoretical Computer Science, 1990
- Fully abstract denotational semantics for flat Concurrent PrologPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988
- Contractions in comparing concurrency semanticsPublished by Springer Nature ,1988
- Solving reflexive domain equations in a category of complete metric spacesPublished by Springer Nature ,1988
- Parlog86 and the dining logiciansCommunications of the ACM, 1988
- PARLOG: parallel programming in logicACM Transactions on Programming Languages and Systems, 1986
- Properties of substitutions and unificationsJournal of Symbolic Computation, 1985
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Full abstraction for a simple parallel programming languagePublished by Springer Nature ,1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976