Conversion from data-driven to synchronous execution in loop programs

DOI10.1145/29873.31334zbMath0631.68017OpenAlexW2052420412MaRDI QIDQ3768374

Lawrence V. Snyder, Janice E. Cuny

Publication date: 1987

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1987-9/

zbMATH Keywords

parallel languagesdata-driven computationparallel program optimization

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: Conversion from data-driven to synchronous execution in loop programs