Abstraction and performance in the design of parallel programs: an overview of the SAT approach

• 1 April 2000
• journal article
• research article
• Published by Springer Nature in Acta Informatica
• Vol. 36  (9-10) , 761-803
• https://doi.org/10.1007/s002360050174

Abstract

Keywords

• TARGET PROGRAM
• DESIGN DECISION
• APPLICATION PROGRAMMER
• PARALLEL PROGRAM
• FORMAL PROGRAM