Deriving parallel programs from specifications using cost information

DOI10.1016/0167-6423(93)90014-GzbMath0774.68032OpenAlexW2093455987MaRDI QIDQ1261492

David B. Skillicorn

Publication date: 3 October 1993

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(93)90014-g

zbMATH Keywords

refinementlatencyprogramming calculicost algebrasderivational software developmentparallel slackness

Mathematics Subject Classification ID

Distributed algorithms (68W15) Theory of software (68N99)

Related Items (1)

Parallelization of divide-and-conquer in the Bird-Meertens formalism

This page was built for publication: Deriving parallel programs from specifications using cost information