Dag-calculus: a calculus for parallel computation

DOI10.1145/2951913.2951946MaRDI QIDQ2981998zbMATH OpenOpenAlexFDO

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

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)

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

Describes a project that uses

Uses Software

• HJlib
• Dag-calculus
• Cilk

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)