Counting successes: effects and transformations for non-deterministic programs

DOI10.1007/978-3-319-30936-1_3MaRDI QIDQ3188280zbMATH OpenOpenAlexFDO

Authors Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam

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)

Recommendations

• Countable nondeterminism and random assignment
• scientific article; zbMATH DE number 3876560
• Reading, Writing and Relations
• Two most nondeterministic programs
• Infinite unfolding and transformations of nondeterministic programs

Cites work

• A divertimento on MonadPlus and nondeterminism
• Abstract effects and proof-relevant logical relations
• Algebraic foundations for effect-dependent optimisations
• Deriving backtracking monad transformers
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3907744 (Why is no real title available?)
• scientific article; zbMATH DE number 2090722 (Why is no real title available?)
• Parametric effect monads and semantics of effect systems
• Purely functional lazy nondeterministic programming
• Reading, Writing and Relations
• Simple relational correctness proofs for static analyses and program transformations
• The marriage of effects and monads
• The marriage of effects and monads

Cited in

(1)

• Improving the LUT count for mealy FSMS with transformation of output collections

This page was built for publication: Counting successes: effects and transformations for non-deterministic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3188280)