Dag-calculus: a calculus for parallel computation

DOI10.1145/2951913.2951946zbMath1361.68055OpenAlexW2507118912MaRDI QIDQ2981998

Arthur Charguéraud, Umut A. Acar, Filip Sieczkowski, Mike Rainey

Publication date: 10 May 2017

Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

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

zbMATH Keywords

operational semanticsparallelismexperimentsproofsconcurrent data structuresdag calculus

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Cilk
• Dag-calculus
• HJlib

This page was built for publication: Dag-calculus: a calculus for parallel computation