A safety analysis for functional languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A safety analysis for functional languages

Full text

Pdf (997 KB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

Copenhagen, Denmark

Pages: 133 - 144

Year of Publication: 1993

ISBN:0-89791-594-1

Author

Peter Thiemann

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 1, 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/154630.154644 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.

	AM91	Alexander Aiken , Brian R. Murphy, Implementing regular tree expressions, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.427-447, June 1991, Cambridge, Massachusetts, United States
	CC77	Patrick Cousot , Radhia Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.238-252, January 17-19, 1977, Los Angeles, California [doi>10.1145/512950.512973]
	CC92	Patrick Cousot , Radhia Cousot, Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation, Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, p.269-295, August 26-28, 1992
	Deu92	Alain Deutsch. Operational Models of Programming Languages and Representations of Relations on Regular Languages with Application to the Static Determination of Dynamic Aliasing Properties of Data. PhD thesis, LIX, Laboratoire d'Informatique de l'15,cole Polytechnique, April 1992.
	FPC89	Functzonal Programmzng Languages and Computer Architecture, 1989.
	Gol87	Benjamin Goldberg, Detecting sharing of partial applications in functional languages, Proc. of a conference on Functional programming languages and computer architecture, p.408-425, October 1987, Portland, Oregon, United States
	GS91	Carsten K. Gomard , Peter Sestoft, Globalization and live variables, ACM SIGPLAN Notices, v.26 n.9, p.166-177, Sept. 1991
	Hug88	John Hughes. Backwards analysis of functional programs, in Dines BjOrner, Andrei P. Ershov, and Nail D. Jones, editors, Partial Evaluation and Mixed Computation, pages 187-208, Amsterdam, 1988. North-Holland.
	JL89	Simon B. Jones , Daniel Le Métayer, Compile-time garbage collection by sharing analysis, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.54-74, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99375]
	JM90	T. P. Jensen , T. Æ Mogensen, A backwards analysis for compile-time garbage collection, Proceedings of the third European symposium on programming on ESOP '90, p.227-239, May 1990, Copenhagen, Denmark
	Kah87	Proc. of a conference on Functional programming languages and computer architecture, October 1987
	Mil78	Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348-375, 1978.
	Mog89	Torben Æ Mogensen, Separating binding times in language specifications, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.12-25, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99372]
	PG92	Young Gil Park , Benjamin Goldberg, Escape analysis on lists, Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation, p.116-127, June 15-19, 1992, San Francisco, California, United States
	Ses88	Peter Sestoft. Replacing function parameters by global variables. Technical Report 88-7-2, DIKU, University of Copenhagen, October 1988.
	Thi92a	Peter Thiemann. Optimizing structural recursion in functional programs. In Proceedings IEEE International Con}erence on Computer Languages 1992, pages 76-85. IEEE, April 1992.
	Thi92b	Peter Thiemann. A safety analysis for functional languages. Technical Report WSI-92-13, Wilhelm- Schickard-Institut, Tiibingen, Germany, December 1992.