scientific article; zbMATH DE number 773979

zbMath0832.68024MaRDI QIDQ4839029

Dean Rosenzweig, Egon Börger

Publication date: 13 July 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Prologcompilation techniquesWarren Abstract Machine

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Related Items (15)

TWAM: a certifying abstract machine for logic programs ⋮ Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ Equivalence is in the eye of the beholder ⋮ The Subject-Oriented Approach to Software Design and the Abstract State Machines Method ⋮ Fifty Years of Prolog and Beyond ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Operational semantics for declarative multi-paradigm languages ⋮ Completeness of ASM Refinement ⋮ Completeness of fair ASM refinement ⋮ Abstract State Machines and the Inquiry Process ⋮ ASM refinement and generalizations of forward simulation in data refinement: a comparison ⋮ Abstract state machines: a unifying view of models of computation and of system design frameworks ⋮ Specification and correctness proof of a WAM extension with abstract type constraints ⋮ Refinement of a typed WAM extension by polymorphic order-sorted types ⋮ Flashix: modular verification of a concurrent and crash-safe flash file system

This page was built for publication: