Continuation-based parallel implementation of functional programming languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Continuation-based parallel implementation of functional programming languages

Full text

Pdf (945 KB)

Source

Conference on LISP and Functional Programming archive
Proceedings of the 1990 ACM conference on LISP and functional programming table of contents

Nice, France

Pages: 209 - 217

Year of Publication: 1990

ISBN:0-89791-368-X

Authors

J. F. Giorgi	IRISA/INRIA, Campus de Beaulieu, 35042 Rennes Cedex France
D. Le Métayer	IRISA/INRIA, Campus de Beaulieu, 35042 Rennes Cedex France

Sponsors

INRIA : Institut Natl de Recherche en Info et en Automatique
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGPLAN: ACM Special Interest Group on Programming Languages
SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 7, Downloads (12 Months): 27, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/91556.91648 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Appel 89	A. W. Appel , T. Jim, Continuation-passing, closure-passing style, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.293-302, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75303]
	Augustsson 89	Lennart Augustsson , Thomas Johnsson, Parallel graph reduction with the (v , G)-machine, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.202-213, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99386]
	Banâtre 88	J.-P. Banâtre , A. Coutant , D. Le Metayer, A parallel machine for multiset transformation and its programming style, Future Generation Computer Systems, v.4 n.2, p.133-144, Sept. 1988 [doi>10.1016/0167-739X(88)90012-X]
	Berry 90	Gerard Berry , Gerard Boudol, The chemical abstract machine, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.81-94, December 1989, San Francisco, California, United States [doi>10.1145/96709.96717]
	Bush 85	V. J. Bush , J. R. Gurd, Transforming recursive programs for execution on parallel machines, Proc. of a conference on Functional programming languages and computer architecture, p.350-367, January 1985, Nancy, France
	Fradet 89a	Pascal Fradet , Daniel Le Métayer, Compilation of Lambda-Calculus into Functional Machine Code, Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages, p.155-166, March 13-17, 1989
	Fradet 89b	P. Fradet and D. Le M~tayer. Compilation of functional languages by program transformation. Research report, INRIA, May 1989.
	Goldberg 88	Benjamin F. Goldberg, Multiprocessor execution of functional programs, 1988
	Harrison 86	P. G. Harrison , M. J. Reeve, The parallel graph reduction machine, Alice, Proc. of a workshop on Graph reduction, p.181-202, September 1987, Santa Fe, New Mexico, United States
	Hetzberger 89	Louis O. Hertzberger , Willem G. Vree, A Coarse Grain Parallel Architecture for Functional Languages, Proceedings of the Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, p.269-285, June 12-16, 1989
	Hudak 86	Paul Hudak, Para-functional programming, Computer, v.19 n.8, p.60-69, Aug. 1986 [doi>10.1109/MC.1986.1663309]
	Johnsson 85	Thomas Johnsson, Lambda lifting: transforming programs to recursive equations, Proc. of a conference on Functional programming languages and computer architecture, p.190-203, January 1985, Nancy, France
	Kranz 86	David Kranz , Norman Adams , Richard Kelsey , Jonathan Rees , Paul Hudak , James Philbin, ORBIT: an optimizing compiler for scheme, Proceedings of the 1986 SIGPLAN symposium on Compiler construction, p.219-233, June 25-27, 1986, Palo Alto, California, United States
	Lemaître 86	M. Lemaître , M. Castan , M.-H. Durand , G. Durrieu , B. Lecussan, Mechanisms for efficient multiprocessor combinator reduction, Proceedings of the 1986 ACM conference on LISP and functional programming, p.113-121, August 1986, Cambridge, Massachusetts, United States [doi>10.1145/319838.319855]
	Peyton Jones 89	S. L. Peyton Jones, Parallel implementations of functional programming languages, The Computer Journal, v.32 n.2, p.175-186, April 1989 [doi>10.1093/comjnl/32.2.175]
	Steele 78	Guy L. Steele, Jr., Rabbit: A Compiler for Scheme, Massachusetts Institute of Technology, Cambridge, MA, 1978
	Turner 79	D. A. Turner. A new implementation technique for applicative languages. Software Practice and Experience, 9:31-49, 1979.
	Vegdahl 84	S. R. Vegdahl. A Survey of Proposed Architectures for the Execution of Functional Languages. iEEE Transactions on computers, rot C-33(12), December 1984.
	Wand 80	Mitchell Wand, Continuation-based multiprocessing, Proceedings of the 1980 ACM conference on LISP and functional programming, p.19-28, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802786]
	Wand 82a	Mitchell Wand, Deriving Target Code as a Representation of Continuation Semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.496-517, July 1982 [doi>10.1145/357172.357179]
	Wand 82b	Mitchell Wand, Semantics-directed machine architecture, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.234-241, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582179]
	Wand 83	Mitchell Wand, Loops in combinator-based compilers, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.190-196, January 24-26, 1983, Austin, Texas [doi>10.1145/567067.567086]