scientific article; zbMATH DE number 1042220
From MaRDI portal
Publication:4346205
zbMath0887.68066MaRDI QIDQ4346205
Grant Malcolm, Joseph A. Goguen
Publication date: 3 August 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (19)
A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler ⋮ Building Specifications in the Event-B Institution ⋮ Action Algebras and Model Algebras in Denotational Semantics ⋮ The rewriting logic semantics project ⋮ Algebraic translations, correctness and algebraic compiler construction ⋮ The rewriting logic semantics project: a progress report ⋮ Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention ⋮ Programming language semantics: It’s easy as 1,2,3 ⋮ Closures in Binary Partial Algebras ⋮ On the interpretation of mathematical entities in the formalisation of programming and modelling languages ⋮ Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications ⋮ ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING ⋮ Matching Logic: An Alternative to Hoare/Floyd Logic ⋮ A lightweight approach to datatype-generic rewriting ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ A hidden agenda ⋮ A hidden Herbrand theorem: Combining the object and logic paradigms ⋮ A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
This page was built for publication:
