scientific article; zbMATH DE number 1354178
From MaRDI portal
zbMath0925.68301MaRDI QIDQ4268493
Publication date: 28 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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, An operational formal definition of PROLOG: A specification method and its application, Completeness of ASM Refinement, Completeness of fair ASM refinement, A high-level modular definition of the semantics of C\(_{\sharp}\), ASM refinement and generalizations of forward simulation in data refinement: a comparison, Specification and correctness proof of a WAM extension with abstract type constraints, Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator, Abstract interpretation of resolution-based semantics
