Dag-calculus: a calculus for parallel computation

DOI10.1145/2951913.2951946zbMATH Open1361.68055OpenAlexW2507118912MaRDI QIDQ2981998FDOQ2981998

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

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

Recommendations

• Publication:4938162
• A calculus for parallel computations over multidimensional dense arrays
• A refinement calculus for shared-variable parallel and distributed programming
• Restructuring expression dags for efficient parallelization
• Computing dominators in parallel
• A cost calculus for parallel functional programming
• scientific article; zbMATH DE number 4052998
• Parallel computations on graphs

zbMATH Keywords

parallelismexperimentsproofsoperational semanticsconcurrent data structuresdag calculus

Mathematics Subject Classification ID

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

Uses Software

• Cilk
• Dag-calculus
• HJlib

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

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