Reasoning About Deterministic Concurrent Functional I/O

DOI10.1007/11431664_11MaRDI QIDQ5423552zbMATH OpenOpenAlexFDO

Authors Malcolm Dowse, Andrew Butterfield, Marko van Eekelen

Publication date 23 October 2007

Published in Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11431664_11

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Modelling deterministic concurrent I/O
• scientific article; zbMATH DE number 2086497
• scientific article; zbMATH DE number 819768
• A functional programming approach to the specification and verification of concurrent systems
• State will do

Cited in

(7)

• scientific article; zbMATH DE number 2086497 (Why is no real title available?)
• Functional behavior of nondeterministic and concurrent programs
• scientific article; zbMATH DE number 7599983 (Why is no real title available?)
• Modelling deterministic concurrent I/O
• Proving Properties of Lazy Functional Programs with Sparkle
• GOFFIN: Higher-order functions meet concurrent constraints
• scientific article; zbMATH DE number 7085150 (Why is no real title available?)

Describes a project that uses

Uses Software

• Sparkle

This page was built for publication: Reasoning About Deterministic Concurrent Functional I/O

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