scientific article

From MaRDI portal

Publication:3976026

Jump to:navigation, search

zbMath0796.68140MaRDI QIDQ3976026

Egon Börger

Publication date: 26 June 1992

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

zbMATH Keywords

stepwise refinement operational semantics Prolog dynamic algebras

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems, The Subject-Oriented Approach to Software Design and the Abstract State Machines Method, Operational semantics for declarative multi-paradigm languages, Completeness of ASM Refinement, Completeness of fair ASM refinement, ASM refinement and generalizations of forward simulation in data refinement: a comparison, Specification and correctness proof of a WAM extension with abstract type constraints

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3976026&oldid=12016908"