Term rewriting as a basis for the design of a functional and parallel programming language
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 220-276
- https://doi.org/10.1007/bfb0022684
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- OCCAMACM SIGPLAN Notices, 1983
- On the Development of the Algebra of Functional ProgramsACM Transactions on Programming Languages and Systems, 1982
- The semantic elegance of applicative languagesPublished by Association for Computing Machinery (ACM) ,1981
- Function level programs as mathematical objectsPublished by Association for Computing Machinery (ACM) ,1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- The Vienna Development Method: The Meta-LanguageLecture Notes in Computer Science, 1978