scientific article

zbMath0875.68626MaRDI QIDQ4023828

Hanne Riis Nielson, Flemming Nielson

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Semantics in the theory of computing (68Q55)

Related Items (33)

Monads for behaviour ⋮ Modular structural operational semantics ⋮ Linear domains and linear maps ⋮ An operational semantics for TOOPLE: A statically-typed object-oriented programming language ⋮ The Laws of Programming Unify Process Calculi ⋮ Code analysis for temporal predictability ⋮ Nominative data with ordered set of names ⋮ Full abstraction for the second order subset of an Algol-like language ⋮ Local and global models of physics and computation ⋮ Unnamed Item ⋮ rCOS: Defining Meanings of Component-Based Software Architectures ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Inter-deriving Semantic Artifacts for Object-Oriented Programming ⋮ Aspects preserving properties ⋮ Unnamed Item ⋮ Satisfiability in composition-nominative logics ⋮ Model Checking Recursive Programs with Exact Predicate Abstraction ⋮ A Completely Verified Realistic Bootstrap Compiler ⋮ Graded Hoare logic and its categorical semantics ⋮ The next 700 Krivine machines ⋮ Tree dimension in verification of constrained Horn clauses ⋮ Functional Semantics ⋮ Linear Structures for Concurrency in Probabilistic Programming Languages ⋮ Towards Effects in Mathematical Operational Semantics ⋮ Inter-deriving semantic artifacts for object-oriented programming ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics ⋮ Implicit Propagation in Structural Operational Semantics ⋮ Constructing the Views Framework ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach ⋮ On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics ⋮ ConGolog, a concurrent programming language based on the situation calculus ⋮ Deriving correctness properties of compiled code ⋮ A construction of sound semantic linguistic scales using 4-tuple representation of term semantics

This page was built for publication: