Control flow analysis

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Control flow analysis: a functional languages compilation paradigm

Full text

Pdf (644 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 1995 ACM symposium on Applied computing table of contents

Nashville, Tennessee, United States

Pages: 118 - 122

Year of Publication: 1995

ISBN:0-89791-658-1

Author

Manuel Serrano

INRIA-Rocquencourt

Sponsors

SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGICE: ACM Special Interest Group on Individual Computing Environment
SIGAPP: ACM Special Interest Group on Applied Computing
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 27, Citation Count: 5

Additional Information:

references cited by 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/315891.315934 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.

	1	J.F. Bartlett. Scheme->C a Portable Scheme-to-C Compiler. Research Report 89 1, DEC Western Research Laboratory, Palo Alto, California, January 1989.
	2	Pieter H. Hartel , Hugh Glaser , John M. Wild, Compilation of functional languages using flow graph analysis, Software—Practice & Experience, v.24 n.2, p.127-173, Feb. 1994 [doi>10.1002/spe.4380240202]
	3	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
	4	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
	5	David Andrew Kranz , Paul Hudak, Orbit: an optimizing compiler for scheme, 1988
	6	Guillermo Juan Rozas, Taming the Y operator, Proceedings of the 1992 ACM conference on LISP and functional programming, p.226-234, June 22-24, 1992, San Francisco, California, United States
	7	N. S6niak. Thiorie et pratique de Sqil: un langage intermidi. aire pour la compilation des iangages fonctionnels. PhD thesis, Universit6 Pierre et Marie Curie (Paris VI), November 1991.
	8	M. Serrano. Bigloo user's manual. Technical Report to appear, INRIA-Racquencourt, France, 1994.
	9	O. Shivers, Control flow analysis in scheme, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.164-174, June 20-24, 1988, Atlanta, Georgia, United States
	10	O. Shivers. Control-Flow Analysis of Higher-Order Languages or Taming Lambda. CMU-CS-91-145, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, May 199I.

CITED BY 5

	Manuel Serrano , Marc Feeley, Storage use analysis and its applications, ACM SIGPLAN Notices, v.31 n.6, p.50-61, June 15, 1996
	Bernard Paul Serpette , Manuel Serrano, Compiling scheme to JVM bytecode:: a performance study, ACM SIGPLAN Notices, v.37 n.9, p.259-270, September 2002
	Pieter H. Hartel , Luc Moreau, Formalizing the safety of Java, the Java virtual machine, and Java card, ACM Computing Surveys (CSUR), v.33 n.4, p.517-558, December 2001
	John Reppy , Yingqi Xiao, Specialization of CML message-passing primitives, ACM SIGPLAN Notices, v.42 n.1, January 2007
	John Reppy, Type-sensitive control-flow analysis, Proceedings of the 2006 workshop on ML, September 16-16, 2006, Portland, Oregon, USA