Modelling higher-order dual nondeterminacy

DOI10.1007/s00236-008-0076-1zbMath1160.68006OpenAlexW2019256045MaRDI QIDQ938301

Malcolm Tyrrell, Joseph M. Morris

Publication date: 19 August 2008

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-008-0076-1

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Towards patterns for heaps and imperative lambdas ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ The algebra of multirelations

Cites Work

• Angelic nondeterminism in the unifying theories of programming
• Terms with unbounded demonic and angelic nondeterminacy
• Dual unbounded nondeterminacy, recursion, and fixpoints
• The free completely distributive lattice over a poset
• Power domain constructions
• Power domains
• Topological dualities in semantics
• A source of inconsistency in theories of nondeterministic functions
• Towards a refinement algebra
• Semantics of under-determined expressions
• Nondeterministic Folds
• Countable nondeterminism and random assignment
• A Powerdomain Construction
• Refinement Calculus
• Mathematics of Program Construction
• Mathematics of Program Construction
• Mathematics of Program Construction
• Monotone Predicate Transformers as Up-Closed Multirelations
• On Two Dually Nondeterministic Refinement Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item