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

concurrent data structuresdag calculusexperimentsoperational semanticsparallelismproofs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1404761
• 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

• 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)