A Fixed Point Approach to Applicative Multiprogramming
- 1 January 1982
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- ¿Cómo se dice?Hispania, 1991
- AlternationJournal of the ACM, 1981
- Proving termination with multiset orderingsCommunications of the ACM, 1979
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- Correct and optimal implementations of recursion in a simple programming languageJournal of Computer and System Sciences, 1974
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- A data flow language for operating systems programmingACM SIGPLAN Notices, 1973
- The correctness of nondeterministic programsArtificial Intelligence, 1970
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965