Cheap remarks about concurrent programs

DOI10.1007/978-3-319-90686-7_17MaRDI QIDQ1648894zbMATH OpenOpenAlexFDO

Authors Y. Aharonov

Publication date 9 July 2018

Full work available at URL https://eprints.whiterose.ac.uk/129497/1/coco_flops18.pdf

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Properties of concurrent programs
• scientific article; zbMATH DE number 3958701
• Programming Languages and Systems
• Elucidating concurrent algorithms via layers of abstraction and reification
• Searching for deadlocks while debugging Concurrent Haskell programs

Cited in

(1)

• Searching for deadlocks while debugging Concurrent Haskell programs

This page was built for publication: Cheap remarks about concurrent programs

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