Automatic transformation of high-level object-oriented specifications into parallel programs
- 1 March 1989
- journal article
- Published by Elsevier in Parallel Computing
- Vol. 10 (1), 15-28
- https://doi.org/10.1016/0167-8191(89)90074-4
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- A linear algebra package for a local memory multiprocessor: Problems, proposals and solutionsParallel Computing, 1988
- Domain-Specific Automatic ProgrammingIEEE Transactions on Software Engineering, 1985
- A proof technique for communicating sequential processesActa Informatica, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- Communicating sequential processesCommunications of the ACM, 1978
- Viewing control structures as patterns of passing messagesArtificial Intelligence, 1977
- An Overview of KRL, a Knowledge Representation LanguageCognitive Science, 1977
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- An introduction to the set theoretical language SETLComputers & Mathematics with Applications, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969