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