scientific article; zbMATH DE number 3640837

zbMATH Open0412.68004MaRDI QIDQ4199490FDOQ4199490

Authors Michael J. C. Gordon

Publication date 1979

zbMATH Keywords

programming languagesdenotational semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) 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

(31)

• Continuation semantics for flowgraph equations
• Inserting injection operations to denotational specifications
• Denotational semantics of a para-functional programming language
• scientific article; zbMATH DE number 3808984 (Why is no real title available?)
• Some primitives for the portable programming of array and vector processors
• Denotational semantics of a parallel object-oriented language
• A structural operational semantics for an Edison-like language
• A layered semantics for a parallel object-oriented language
• Denotational semantics of an object-oriented programming language with explicit wrappers
• Executable semantic descriptions
• Polymorphic programming I. Another language designed on semantic principles
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Axiomatising finite delay operators
• Testing equivalences for processes
• A demonstrably correct compiler
• A denotational semantics for the generalized ER model and a simple ER algebra
• Computer assisted reasoning. A Festschrift for Michael J. C. Gordon
• Recursive programs and denotational semantics in absolute logics of programs
• Strictness analysis and denotational abstract interpretation
• Unified algebras and action semantics
• Incorporating static analysis in a combinator-based compiler
• VDM semantics of programming languages: Combinators and monads
• Semantics of production systems
• Parallélisation sémantique
• Constructive Boolean circuits and the exactness of timed ternary simulation
• A domain equation for bisimulation
• A denotational semantics for shared-memory parallelism and nondeterminism
• A structural operational semantics for an Edison like language. II
• Equivalence of formal semantics definition methods
• Wrapper semantics of an object-oriented programming language with state
• Issues in the design of a parallel object-oriented language

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 Q4199490)