scientific article; zbMATH DE number 1042220

MaRDI QIDQ4346205zbMATH OpenFDO

Authors Joseph Goguen, Grant Malcolm

Publication date 3 August 1997

zbMATH Keywords

equational logicimperative programsMODULA2

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2186295
• scientific article; zbMATH DE number 3972168
• scientific article; zbMATH DE number 3967883
• scientific article; zbMATH DE number 3892570
• An algebraic approach to semantics of programming languages
• Static Analysis
• scientific article; zbMATH DE number 1207155
• scientific article; zbMATH DE number 1630101
• scientific article; zbMATH DE number 4078767
• Algorithmic completeness of imperative programming languages

Cited in

(24)

• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• A hidden Herbrand theorem: Combining the object and logic paradigms
• scientific article; zbMATH DE number 4078767 (Why is no real title available?)
• The rewriting logic semantics project
• scientific article; zbMATH DE number 3997138 (Why is no real title available?)
• A rewriting logic approach to operational semantics
• Matching logic: an alternative to Hoare/Floyd logic
• scientific article; zbMATH DE number 4088901 (Why is no real title available?)
• A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
• A lightweight approach to datatype-generic rewriting
• Programming language semantics: It’s easy as 1,2,3
• Aliasing Control in an Imperative Pure Calculus
• On the interpretation of mathematical entities in the formalisation of programming and modelling languages
• A hidden agenda
• Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
• Closures in Binary Partial Algebras
• On formal and cognitive semantics for semantic computing
• Action Algebras and Model Algebras in Denotational Semantics
• Building Specifications in the Event-B Institution
• A rewriting logic approach to operational semantics (extended abstract)
• A Step-indexed Semantics of Imperative Objects
• Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
• Algebraic translations, correctness and algebraic compiler construction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4346205)