A Survey of Proposed Architectures for the Execution of Functional Languages
- 1 December 1984
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-33 (12) , 1050-1071
- https://doi.org/10.1109/tc.1984.1676387
Abstract
Functional and imperative programming languages are characterized and compared with regard to programming style and efficiency. Machine design issues, are characterized by interconnection topology, evaluation strategy, program and data representation, process management, and dynamic optimization techniques; short descriptions of a number of "functional" machines are given in terms of these issues. Multiprocessor issues and systems are particularly emphasized. Outstanding problems in the area are reviewed and an overall evaluation of proposed machines is given.Keywords
This publication has 49 references indexed in Scilit:
- An overview of the PARCTAB ubiquitous computing experimentIEEE Wireless Communications, 1995
- Data-Driven and Demand-Driven Computer ArchitectureACM Computing Surveys, 1982
- The future of programmingCommunications of the ACM, 1982
- Streams and managersPublished by Springer Nature ,1982
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- First version of a data flow procedure languagePublished by Springer Nature ,1974
- Reply to an editorialACM SIGSAM Bulletin, 1973
- “Memo” Functions and Machine LearningNature, 1968
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965