Modelling deterministic concurrent I/O

DOI10.1145/1159803.1159823zbMATH Open1321.68150OpenAlexW2094248892MaRDI QIDQ5501463FDOQ5501463

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

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

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)

Cited In (4)

• Conservative concurrency in Haskell
• Title not available (Why is that?)
• Reasoning About Deterministic Concurrent Functional I/O
• Title not available (Why is that?)

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)