Pages that link to "Item:Q3976026"
From MaRDI portal
The following pages link to A logical operational semantics of full Prolog. II: Built-in predicates for database manipulations (Q3976026):
Displaying 11 items.
- Completeness of fair ASM refinement (Q541210) (← links)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343) (← links)
- A mathematical definition of full Prolog (Q1899138) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Oracle semantics for Prolog (Q2508326) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
- A logical operational semantics of full Prolog. History of ideas (Q3976572) (← links)
- (Q4010351) (← links)
- Completeness of ASM Refinement (Q5403462) (← links)