scientific article; zbMATH DE number 1951202

zbMath1021.68508MaRDI QIDQ4413693

Wolf Zimmermann, Axel Dold

Publication date: 21 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2589/25890391.htm

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

Related Items (4)

An independent axiomatisation for free short-circuit logic ⋮ A high-level modular definition of the semantics of C\(_{\sharp}\) ⋮ Non-commutative propositional logic with short-circuit evaluation ⋮ A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines

Uses Software

• Unnamed Item

This page was built for publication: