Pages that link to "Item:Q1186100"
From MaRDI portal
The following pages link to An operational formal definition of PROLOG: A specification method and its application (Q1186100):
Displaying 7 items.
- Proof methods of declarative properties of definite programs (Q685395) (← links)
- Semantical analysis of specification logic (Q913527) (← links)
- Implementing specifications by dynamic inheritance (Q1326576) (← links)
- A logical semantics for depth-first Prolog with ground negation (Q1390936) (← links)
- NP-SPEC: An executable specification language for solving all problems in NP (Q2755406) (← links)
- The relation between logic programming and logic specification (Q3341879) (← links)
- (Q4010351) (← links)