scientific article
From MaRDI portal
Publication:4023828
zbMATH Open0875.68626MaRDI QIDQ4023828FDOQ4023828
Hanne Riis Nielson, Flemming Nielson
Publication date: 23 January 1993
Title of this publication is not available (Why is that?)
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
- Monads for behaviour
- Local and global models of physics and computation
- Inter-deriving semantic artifacts for object-oriented programming
- Aspects preserving properties
- Linear Structures for Concurrency in Probabilistic Programming Languages
- Analysis and Transformation of Constrained Horn Clauses for Program Verification
- Title not available (Why is that?)
- An operational semantics for TOOPLE: A statically-typed object-oriented programming language
- Graded Hoare logic and its categorical semantics
- Code analysis for temporal predictability
- Linear domains and linear maps
- Constructing the Views Framework
- The next 700 Krivine machines
- The Laws of Programming Unify Process Calculi
- A process calculus BigrTiMo of mobile systems and its formal semantics
- rCOS: Defining Meanings of Component-Based Software Architectures
- Modular structural operational semantics
- Implicit propagation in structural operational semantics
- Nominative data with ordered set of names
- Deriving correctness properties of compiled code
- Title not available (Why is that?)
- On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics
- Full abstraction for the second order subset of an Algol-like language
- Model Checking Recursive Programs with Exact Predicate Abstraction
- Satisfiability in composition-nominative logics
- Inter-deriving Semantic Artifacts for Object-Oriented Programming
- A construction of sound semantic linguistic scales using 4-tuple representation of term semantics
- A Completely Verified Realistic Bootstrap Compiler
- Towards Effects in Mathematical Operational Semantics
- Functional Semantics
- ConGolog, a concurrent programming language based on the situation calculus
- Tree dimension in verification of constrained Horn clauses
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)
