scientific article; zbMATH DE number 108368

MaRDI QIDQ4023828zbMATH OpenFDO

Authors Hanne Riis Nielson, Flemming Nielson

Publication date 23 January 1993

Mathematics Subject Classification ID

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

Cited in

(33)

• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• Deriving correctness properties of compiled code
• Full abstraction for the second order subset of an Algol-like language
• ConGolog, a concurrent programming language based on the situation calculus
• Nominative data with ordered set of names
• Modular structural operational semantics
• A process calculus BigrTiMo of mobile systems and its formal semantics
• Graded Hoare logic and its categorical semantics
• On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
• A construction of sound semantic linguistic scales using 4-tuple representation of term semantics
• Satisfiability in composition-nominative logics
• The next 700 Krivine machines
• Monads for behaviour
• Implicit propagation in structural operational semantics
• Constructing the views framework
• The laws of programming unify process calculi
• Local and global models of physics and computation
• rCOS: defining meanings of component-based software architectures
• Inter-deriving Semantic Artifacts for Object-Oriented Programming
• Model Checking Recursive Programs with Exact Predicate Abstraction
• Aspects preserving properties
• Tree dimension in verification of constrained Horn clauses
• Linear Structures for Concurrency in Probabilistic Programming Languages
• scientific article; zbMATH DE number 7453190 (Why is no real title available?)
• Formalizing bialgebraic semantics in PVS 6.0
• Functional semantics
• A Completely Verified Realistic Bootstrap Compiler
• Towards Effects in Mathematical Operational Semantics
• Linear domains and linear maps
• An operational semantics for TOOPLE: A statically-typed object-oriented programming language
• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Code analysis for temporal predictability
• Inter-deriving semantic artifacts for object-oriented programming

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