scientific article; zbMATH DE number 3630737
From MaRDI portal
Publication:4192046
zbMath0406.03059MaRDI QIDQ4192046
R. Gnatz, Manfred Broy, Martin Wirsing
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive FunctionsProgram DevelopmentNondeterminacyAlgorithmic LanguageCorrectness of Program Transformation RulesFixpoints of FunctionalsGuarded ExpressionsNoncontinuous ConstructsNondeterministic ChoiceSet ComprehensionWide Spectrum Language
Abstract data types; algebraic specification (68Q65) Theory of software (68N99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Determinacy principles (03E60)
Related Items (18)
Relational algebraic semantics of deterministic and nondeterministic programs ⋮ A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Normal design algebra ⋮ Relation-algebraic semantics ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Axioms for signatures with domain and demonic composition ⋮ Imperative abstractions for functional actions ⋮ Generated models and the ω-rule: The nondeterministic case ⋮ Lazy Relations ⋮ On correct refinement of programs ⋮ A continuous semantics for unbounded nondeterminism ⋮ Domain and range for angelic and demonic compositions ⋮ Alternating states for dual nondeterminism in imperative programming ⋮ Algebras for iteration and infinite computations ⋮ Semantics of algorithmic languages ⋮ A Homage to Martin Wirsing ⋮ Logical Relations and Nondeterminism ⋮ Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
This page was built for publication:
