scientific article; zbMATH DE number 3640837
From MaRDI portal
Publication:4199490
zbMath0412.68004MaRDI QIDQ4199490
Publication date: 1979
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) General topics in the theory of software (68N01)
Related Items
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, Testing equivalences for processes, Strictness analysis and denotational abstract interpretation, Equivalence of formal semantics definition methods, Recursive programs and denotational semantics in absolute logics of programs, A domain equation for bisimulation, Semantics of production systems, Computer assisted reasoning. A Festschrift for Michael J. C. Gordon, Parallélisation sémantique, Unified Algebras and action semantics, Wrapper semantics of an object-oriented programming language with state, Issues in the design of a parallel object-oriented language, Denotational semantics of a parallel object-oriented language, Some primitives for the portable programming of array and vector processors, Constructive Boolean circuits and the exactness of timed ternary simulation, Unnamed Item, A denotational semantics for the generalized ER model and a simple ER algebra, A layered semantics for a parallel object-oriented language, VDM semantics of programming languages: Combinators and monads, Polymorphic programming I. Another language designed on semantic principles, Denotational semantics of an object-oriented programming language with explicit wrappers, A demonstrably correct compiler, A structural operational semantics for an Edison like language. II, Incorporating static analysis in a combinator-based compiler, A denotational semantics for shared-memory parallelism and nondeterminism, Axiomatising finite delay operators, Executable semantic descriptions, A structural operational semantics for an Edison-like language
