PROOF: A parallel object-oriented functional computation model
- 1 July 1991
- journal article
- Published by Elsevier in Journal of Parallel and Distributed Computing
- Vol. 12 (3) , 202-212
- https://doi.org/10.1016/0743-7315(91)90125-s
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- An overview of the PTRAN analysis system for multiprocessingJournal of Parallel and Distributed Computing, 1988
- Future scientific programming on parallel machinesJournal of Parallel and Distributed Computing, 1988
- Para-Functional ProgrammingComputer, 1986
- PARLOG: parallel programming in logicACM Transactions on Programming Languages and Systems, 1986
- Reference Manual for the ADA® Programming LanguagePublished by Springer Nature ,1983
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- Some properties of conversionTransactions of the American Mathematical Society, 1936