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
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:
