Modelling deterministic concurrent I/O

DOI10.1145/1159803.1159823MaRDI QIDQ5501463zbMATH OpenOpenAlexFDO

Authors Malcolm Dowse, Andrew Butterfield

Publication date 3 August 2015

Published in Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1159803.1159823

zbMATH Keywords

effectsconcurrencydeterminismmonadsI/O

Mathematics Subject Classification ID

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

Recommendations

• Reasoning About Deterministic Concurrent Functional I/O
• A type and effect system for determinism in multithreaded programs
• Imperative streams—a monadic combinator library for synchronous programming
• State will do
• scientific article; zbMATH DE number 2086497

Cited in

(4)

• Conservative concurrency in Haskell
• scientific article; zbMATH DE number 1751982 (Why is no real title available?)
• Reasoning About Deterministic Concurrent Functional I/O
• scientific article; zbMATH DE number 7085150 (Why is no real title available?)

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Modelling deterministic concurrent I/O

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