Pages that link to "Item:Q3769948"
From MaRDI portal
The following pages link to Denotational and operational semantics for prolog (Q3769948):
Displayed 9 items.
- Is there an axiomatic semantics for standard pure Prolog? (Q805224) (← links)
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- An operational formal definition of PROLOG: A specification method and its application (Q1186100) (← links)
- Compositionality properties of SLD-derivations (Q1274454) (← links)
- A logical semantics for depth-first Prolog with ground negation (Q1390936) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- (Q4499270) (← links)
- Axiomatizations of backtracking (Q5096771) (← links)
- A NON-DEFINABILITY RESULT FOR A PREDICATIONAL LANGUAGE WITH THE USUAL CONTROL (Q5249265) (← links)