A Survey of Proposed Architectures for the Execution of Functional Languages

作者: Vegdahl

DOI: 10.1109/TC.1984.1676387

关键词:

摘要: Functional and imperative programming languages are characterized compared with regard to style efficiency. Machine design issues, by interconnection topology, evaluation strategy, program data representation, process management, dynamic optimization techniques; short descriptions of a number "functional" machines given in terms these issues. Multiprocessor issues systems particularly emphasized. Outstanding problems the area reviewed an overall proposed is given.

参考文章(58)
Henry Lieberman, An object-oriented simulator for the apiary national conference on artificial intelligence. pp. 241- 246 ,(1983)
Jeffrey D. Ullman, Some Thoughts About Supercomputer Organization. COMPCON. pp. 424- 432 ,(1984)
GARY LINDSTROM, SUHAS PATIL, ROBERT M. KELLER, A loosely-coupled applicative multi-processing system * 1979 International Workshop on Managing Requirements Knowledge (MARK). ,(1979) , 10.1109/MARK.1979.8817294
Kiyoshi Agusa, Yutaka Ohno, Shigeo Sugimoto, Koichi Tabata, Concurrent LISP on a multi-micro-processor system international joint conference on artificial intelligence. pp. 949- 954 ,(1981)
A. L. DAVIS, A data flow evaluation system based on the concept of recursive locality 1979 International Workshop on Managing Requirements Knowledge (MARK). ,(1979) , 10.1109/MARK.1979.8817218
Alan Mycroft, The Theory and Practice of Transforming Call-by-need into Call-by-value Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming. pp. 269- 281 ,(1980) , 10.1007/3-540-09981-6_19
Arvind, J. Dean Brock, Streams and Managers Proceedings of the 14th IBM Computer SCience Symposium on Operating Systems Engineering. pp. 452- 465 ,(1980) , 10.1007/3-540-11604-4_66
Kushner, Wu, Rosenfeld, Image Processing on ZMOB IEEE Transactions on Computers. ,vol. 31, pp. 943- 951 ,(1982) , 10.1109/TC.1982.1675903
Arvind, Gostelow, The U-Interpreter IEEE Computer. ,vol. 15, pp. 42- 49 ,(1982) , 10.1109/MC.1982.1653940
Dias, Jump, Analysis and Simulation of Buffered Delta Networks IEEE Transactions on Computers. ,vol. 30, pp. 273- 282 ,(1981) , 10.1109/TC.1981.1675775