Counting Successes: Effects and Transformations for Non-deterministic Programs

DOI10.1007/978-3-319-30936-1_3zbMath1343.68054OpenAlexW2502478805MaRDI QIDQ3188280

Martin Hofmann, Vivek Nigam, Andrew J. Kennedy, Nick Benton

Publication date: 17 August 2016

Published in: A List of Successes That Can Change the World (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-30936-1_3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A divertimento on MonadPlus and nondeterminism
• Algebraic foundations for effect-dependent optimisations
• Deriving backtracking monad transformers
• Simple relational correctness proofs for static analyses and program transformations
• Purely functional lazy nondeterministic programming
• The marriage of effects and monads
• The marriage of effects and monads
• Reading, Writing and Relations
• Abstract effects and proof-relevant logical relations
• Parametric effect monads and semantics of effect systems
• Determinacy Analysis for Logic Programs Using Mode and Type Information