scientific article; zbMATH DE number 1042220
From MaRDI portal
Publication:4346205
zbMATH Open0887.68066MaRDI QIDQ4346205FDOQ4346205
Authors: Joseph Goguen, Grant Malcolm 
Publication date: 3 August 1997
Title of this publication is not available (Why is that?)
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
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)
Cited In (24)
- The rewriting logic semantics project: a progress report
- Title not available (Why is that?)
- The rewriting logic semantics project: a progress report
- A hidden Herbrand theorem: Combining the object and logic paradigms
- Title not available (Why is that?)
- The rewriting logic semantics project
- A rewriting logic approach to operational semantics
- Matching logic: an alternative to Hoare/Floyd logic
- Title not available (Why is that?)
- 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)
