A methodology for deriving parallel programs with a family of parallel abstract machines

DOI10.1007/BFB0002797MaRDI QIDQ4537008zbMATH OpenFDO

Authors John T. O'Donnell, Gudula Rünger

Publication date 6 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0002797

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1748284
• Two small parallel programming exercises
• The derivation of systolic computations
• scientific article; zbMATH DE number 1254025
• Derivation of a parallel algorithm for balancing binary trees

Cited in

(11)

• Deriving parallel programs from specifications using cost information
• Deriving parallel codes via invariants
• scientific article; zbMATH DE number 3938542 (Why is no real title available?)
• Derivation of a parallel algorithm for balancing binary trees
• scientific article; zbMATH DE number 1254025 (Why is no real title available?)
• scientific article; zbMATH DE number 1262870 (Why is no real title available?)
• A parallel virtual machine for programs composed of abstract data types
• scientific article; zbMATH DE number 1748284 (Why is no real title available?)
• Two small parallel programming exercises
• Costing stepwise refinements of parallel programs
• The derivation of systolic computations

This page was built for publication: A methodology for deriving parallel programs with a family of parallel abstract machines

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