scientific article; zbMATH DE number 3630737

MaRDI QIDQ4192046zbMATHFDO

Authors Manfred Broy, R. Gnatz, Martin Wirsing

Publication date 1979

zbMATH Keywords

Recursive FunctionsNondeterminacyProgram DevelopmentAlgorithmic LanguageCorrectness of Program Transformation RulesFixpoints of FunctionalsGuarded ExpressionsNoncontinuous ConstructsNondeterministic ChoiceSet ComprehensionWide Spectrum Language

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Theory of software (68N99) Abstract data types; algebraic specification (68Q65) Determinacy principles (03E60)

Cited in

(18)

• A continuous semantics for unbounded nondeterminism
• Domain and range for angelic and demonic compositions
• Logical relations and nondeterminism
• Parallel constructions of maximal path sets and applications to short superstrings
• Relation-algebraic semantics
• Axioms for signatures with domain and demonic composition
• Semantics of algorithmic languages
• Relational algebraic semantics of deterministic and nondeterministic programs
• Alternating states for dual nondeterminism in imperative programming
• On correct refinement of programs
• Imperative abstractions for functional actions
• Generated models and the \(\omega\)-rule: the nondeterministic case
• A theory for nondeterminism, parallelism, communication, and concurrency
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• A homage to Martin Wirsing
• Lazy Relations
• Normal design algebra
• Algebras for iteration and infinite computations

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