Fast strictness analysis based on demand propagation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Fast strictness analysis based on demand propagation

Full text

Pdf (3.07 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 17 , Issue 6 (November 1995) table of contents

Pages: 896 - 937

Year of Publication: 1995

ISSN:0164-0925

Authors

R. Sekar	Bellcore
I. V. Ramakrishnan	SUNY at Stony Brook

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 25, Citation Count: 3

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/218570.218573 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	Samson Abramsky, Strictness analysis and polymorphic invariance, on Programs as data objects, p.1-23, April 1986, Copenhagen, Denmark
	2	Lennart Augustsson, A compiler for lazy ML, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.218-227, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802038]
	3	Geoffrey L. Burn, Evaluation transformers—a model for the parallel evolution of functional languages, Proc. of a conference on Functional programming languages and computer architecture, p.446-470, October 1987, Portland, Oregon, United States
	4	Geoffrey Burn, A relationship between abstract interpretation and projection analysis, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.151-156, December 1989, San Francisco, California, United States [doi>10.1145/96709.96724]
	5	BURN, G. 1990b. Using projection analysis in compiling lazy functional programs. In A CM Conference on L~sp and Functwnal Programming. ACM, New York.
	6	G. L. Burn , C. L. Hankin , S. Abramsky, The theory of strictness analysis for higher order functions, on Programs as data objects, p.42-62, April 1986, Copenhagen, Denmark
	7	R. M. Burstall , D. B. MacQueen , D. T. Sannella, HOPE: An experimental applicative language, Proceedings of the 1980 ACM conference on LISP and functional programming, p.136-143, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802799]
	8	Chris Clack , Simon L. Peyton Jones, Strictness analysis—a practical approach, Proc. of a conference on Functional programming languages and computer architecture, p.35-49, January 1985, Nancy, France
	9	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]
	10	Kei Davis, Higher-order binding-time analysis, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.78-87, June 14-16, 1993, Copenhagen, Denmark [doi>10.1145/154630.154639]
	11	Kei Davis , Philip Wadler, Backwards Strictness Analysis: Proved and Improved, Proceedings of the 1989 Glasgow Workshop on Functional Programming, p.12-30, August 21-23, 1989
	12	Peter Dybjer, Inverse image analysis generalises strictness analysis, Information and Computation, v.90 n.2, p.194-216, Feb. 1991 [doi>10.1016/0890-5401(91)90004-L]
	13	Sigbjørn Finne , Geoffrey Burn, Assessing the evaluation transformer model of reduction on the spineless G-machine, Proceedings of the conference on Functional programming languages and computer architecture, p.331-340, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165229]
	14	C. V. Hall , D. S. Wise, Compiling strictness into streams, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.132-143, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41637]
	15	Paul Hudak , Jonathan Young, Higher-order strictness analysis in untyped lambda calculus, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.97-109, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512653]
	16	HUET, G. AND LEVY, J. 1979. Computations in nonambiguous linear term rewriting systems. Tech. Rep. 359, IRIA, Le Chesney, France.
	17	John Hughes, Strictness detection in non-flat domains, on Programs as data objects, p.112-135, April 1986, Copenhagen, Denmark
	18	HUGHES, R. AND LAUNCHBURY, J. 1992a. Projections for polymorphic first-order strictness analysis. Math. Struct. Comput. Sci. 2, 301-326.
	19	John Hughes , John Launchbury, Reversing abstract interpretations, Symposium proceedings on 4th European symposium on programming, p.269-286, January 1992, Rennes, France
	20	Philip Wadler , R. J. M. Hughes, Projections for strictness analysis, Proc. of a conference on Functional programming languages and computer architecture, p.385-407, October 1987, Portland, Oregon, United States
	21	Samuel Kamin, Head-strictness is not a monotonic abstract property, Information Processing Letters, v.41 n.4, p.195-198, March 18, 1992 [doi>10.1016/0020-0190(92)90179-Y]
	22	O. Kaser , S. Pawagi , C. R. Ramakrishnan , I. V. Ramakrishnan , R. C. Sekar, Fast parallel implementation of lazy languages—the EQUALS experience, Proceedings of the 1992 ACM conference on LISP and functional programming, p.335-344, June 22-24, 1992, San Francisco, California, United States
	23	KASER, O., RAMAKRISHNAN, C., AND SEKAR, R. 1994. A high performance runtime system for parallel evaluation of lazy languages. In Parallel and Symbolic Computation. World Scientific, River Edge, N.J.
	24	KELLER, R. 1980. Semantics and applications of function graphs. Tech. Rep. UUCS-80-112, Univ. of Utah, Salt Lake City, Utah.
	25	Tsung-Min Kuo , Prateek Mishra, Strictness analysis: a new perspective based on type inference, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.260-272, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99390]
	26	Alain Laville, Lazy pattern matching in the ML language, Proc. of the seventh conference on Foundations of software technology and theoretical computer science, p.400-419, December 1987, Pune, India
	27	Allen Leung , Prateek Mishra, Reasoning about simple and exhaustive demand in higher-order lazy languages, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.328-351, June 1991, Cambridge, Massachusetts, United States
	28	Gary Lindstrom, Static evaluation of functional programs, Proceedings of the 1986 SIGPLAN symposium on Compiler construction, p.196-206, June 25-27, 1986, Palo Alto, California, United States
	29	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, p.269-281, April 22-24, 1980
	30	Eric Nöcker, Strictness analysis using abstract reduction, Proceedings of the conference on Functional programming languages and computer architecture, p.255-265, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165219]
	31	Michael J. O'Donnell, Equational logic as a programming language, Massachusetts Institute of Technology, Cambridge, MA, 1985
	32	Laurence Puel , Ascander Suarez, Compiling pattern matching by term decomposition, Proceedings of the 1990 ACM conference on LISP and functional programming, p.273-281, June 27-29, 1990, Nice, France [doi>10.1145/91556.91670]
	33	C. R. Ramakrishnan , I. V. Ramakrishnan , R. C. Sekar, A symbolic constraint solving framework for analysis of logic programs, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.12-23, June 21-23, 1995, La Jolla, California, United States [doi>10.1145/215465.215467]
	34	R. C. Sekar , I. V. Ramakrishnan, Programming in equational logic: beyond strong sequentiality, Information and Computation, v.104 n.1, p.78-109, May 1993 [doi>10.1006/inco.1993.1026]
	35	R. C. Sekar , R. Ramesh , I. V. Ramakrishnan, Adaptive Pattern Matching, Proceedings of the 19th International Colloquium on Automata, Languages and Programming, p.247-260, July 13-17, 1992
	36	R. C. Sekar , Prateek Mishra , I. V. Ramakrishnan, On the power and limitation of strictness analysis based on abstract interpretation, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.37-48, January 21-23, 1991, Orlando, Florida, United States [doi>10.1145/99583.99591]
	37	R. C. Sekar , Shaunak Pawagi , I. V. Ramarkrishnan, Small domains spell fast strictness analysis, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.169-183, December 1989, San Francisco, California, United States [doi>10.1145/96709.96727]
	38	D. A. Turner, Miranda: a non-strict functional language with polymorphic types, Proc. of a conference on Functional programming languages and computer architecture, p.1-16, January 1985, Nancy, France
	39	WADLER, P. 1987. Strictness analysis on non-fiat domains (by abstract interpretation over finite domains). In Abstract Interpretation of Declarative Languages, S. Abramsky and C. Hankin Eds. Ellis Horwood, Chichester, U.K., 266-275.

CITED BY 3

	Steven Dawson , C. R. Ramakrishnan , David S. Warren, Practical program analysis using general purpose logic programming systems—a case study, ACM SIGPLAN Notices, v.31 n.5, p.117-126, May 1996
	R. Sekar , I. V. Ramakrishnan , P. Mishra, On the power and limitations of strictness analysis, Journal of the ACM (JACM), v.44 n.3, p.505-525, May 1997
	Julio Mariño , &AACUTE;ngel Herranz , Juan José Moreno-navarro, Demand analysis with partial predicates, Theory and Practice of Logic Programming, v.7 n.1-2, p.153-182, January 2007