Denotational and operational semantics for prolog
From MaRDI portal
Publication:3769948
Recommendations
Cited in
(29)- A prescribed cut for Prolog that ensures soundness
- A logical semantics for depth-first Prolog with ground negation
- Verification of compiler correctness for the WAM
- An operational formal definition of PROLOG: A specification method and its application
- Semantics of production systems
- A semantics-based determinacy analysis for Prolog with cut
- Proving properties of committed choice logic programs
- Operational semantics for declarative multi-paradigm languages
- scientific article; zbMATH DE number 65740 (Why is no real title available?)
- Certified semantics for relational programming
- Pre-indexed Terms for Prolog
- A deterministic prolog fixpoint semantics
- Operational and denotational semantics of prolog
- A denotational semantics and dataflow construction for logic programs
- Sémantique logique et dénotationnelle des interpréteurs PROLOG
- scientific article; zbMATH DE number 1497842 (Why is no real title available?)
- Logic Programming
- scientific article; zbMATH DE number 1420827 (Why is no real title available?)
- Compositionality properties of SLD-derivations
- Denotation by Transformation
- Operational and goal-independent denotational semantics for Prolog with cut
- A non-definability result for a predicational language with the usual control
- Comparative semantics for flow of control in logic programming without logic
- Is there an axiomatic semantics for standard pure Prolog?
- Simple operational and denotational semantics for Prolog with cut
- Comparative semantics for prolog with cut
- Axiomatizations of backtracking
- Stack method in program semantics
- Oracle semantics for Prolog
This page was built for publication: Denotational and operational semantics for prolog
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3769948)
