Update analysis and the efficient implementation of functional aggregates

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Update analysis and the efficient implementation of functional aggregates

Full text

Pdf (1.27 MB)

Source

Functional Programming Languages and Computer Architecture archive
Proceedings of the fourth international conference on Functional programming languages and computer architecture table of contents

Imperial College, London, United Kingdom

Pages: 26 - 38

Year of Publication: 1989

ISBN:0-89791-328-0

Author

Adrienne Bloss

Virginia Polytechnic Institute and State University, Blacksburg, Virginia

Sponsors

SIGARCH: ACM Special Interest Group on Computer Architecture
IFIP WG 2.8 : IFIP WG 2.8
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 16, Citation Count: 22

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/99370.99373 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	S. Abramsky , C. Hankin, Abstract interpretation of declarative languages, Halsted Press, New York, NY, 1987
	2	Arvind , Rishiyur S. Nikhil , Keshav Pingali, I-structures: Data structures for parallel computing, Proceedings of the Workshop on Graph Reduction, p.336-369, September 29-October 01, 1986
	3	H. Barendregt and M. van Leeuwen. Functional Programming and the Language TALE. Technical Report, Mathematical Institute, Netherlands, 1985.
	4	Adrienne Gael Bloss, Path analysis and the optimization of nonstrict functional languages, 1989
	5	Adrienne Bloss , Paul Hudak, Path Semantics, Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics, p.476-489, April 08-10, 1987
	6	Adrienne Bloss , P. Hudak , J. Young, An optimising compiler for a modern functional language, The Computer Journal, v.32 n.2, p.152-161, April 1989 [doi>10.1093/comjnl/32.2.152]
	7	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]
	8	K. Gopinath, Copy elimination in single assignment languages, Stanford University, Stanford, CA, 1988
	9	K. Gopinath , J. L. Hennessy, Copy elimination in functional languages, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.303-314, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75304]
	10	P. Hudak. ALFL Reference Manual and Programmer's Guide. Research Report YALEU}DCS/RR- 322, Second Edition, Yale University, October 1984.
	11	Paul Hudak, Arrays, non-determinism, side-effects, and parallelism: A functional perspective, Proc. of a workshop on Graph reduction, p.312-327, September 1987, Santa Fe, New Mexico, United States
	12	Paul Hudak, A semantic model of reference counting and its abstraction (detailed summary), Proceedings of the 1986 ACM conference on LISP and functional programming, p.351-363, August 1986, Cambridge, Massachusetts, United States [doi>10.1145/319838.319876]
	13	P. Hudak and Philip et al. Wadler. Report on the Functional Programming Language Haskcll: Draft Proposed Standard. Technical Report YALEU/DCS/RR666, Yale University, Department of Computer Science, December 1988.
	14	P. Hudak , J. Young, A collecting interpretation of expressions, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.107-118, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73570]
	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	T. Johnsson. Lambda lifting: transforming programs to recursive equations.
	17	R. Keller. FEL Programmer's Guide. Technical Report, University of Utah, April 1983.
	18	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
	19	R.S. Nikhil, K. Pingali, and Arvind. Id Nouveau. Computation Structures Group Memo 265, Massachusetts Institute of Technology, Laboratory for Computer Science, July 1986.
	20	John T. O'Donnell, An architecture that efficiently updates associative aggregates in applicative programming languages, Proc. of a conference on Functional programming languages and computer architecture, p.164-189, January 1985, Nancy, France
	21	David A. Schmidt, Detecting global variables in denotational specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.299-310, April 1985 [doi>10.1145/3318.3323]
	22	D.A. Schmidt. Detecting Stack-Based Environments in Denotational Definitions. Research Report TR-CS-86-3, Kansas State University, October 1986.
	23	Philip Wadler, A new array operation, Proc. of a workshop on Graph reduction, p.328-335, September 1987, Santa Fe, New Mexico, United States
	24	David S. Wise, Matrix algebra and applicative programming, Proc. of a conference on Functional programming languages and computer architecture, p.134-153, October 1987, Portland, Oregon, United States
	25	J. Young. Theory and Practice of Semantics- Directed Compiling for Functional Programming Languages. PhD thesis, Yale University, Department of Computer Science, 1988.

CITED BY 22

	M. Draghicescu , S. Purushothaman, A compositional analysis of evaluation-order and its application, Proceedings of the 1990 ACM conference on LISP and functional programming, p.242-250, June 27-29, 1990, Nice, France
	Philip Wadler, Comprehending monads, Proceedings of the 1990 ACM conference on LISP and functional programming, p.61-78, June 27-29, 1990, Nice, France
	Steven Anderson , Paul Hudak, Compilation of Haskell array comprehensions for scientific computing, ACM SIGPLAN Notices, v.25 n.6, p.137-149, Jun. 1990
	David Cann, Retire Fortran?: a debate rekindled, Communications of the ACM, v.35 n.8, p.81-89, Aug. 1992
	A. V. S. Sastry , William Clinger , Zena Ariola, Order-of-evaluation analysis for destructive updates in strict functional languages with flat aggregates, Proceedings of the conference on Functional programming languages and computer architecture, p.266-275, June 09-11, 1993, Copenhagen, Denmark
	Martin Odersky, How to make destructive updates less destructive, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.25-36, January 21-23, 1991, Orlando, Florida, United States
	Henry G. Baker, Unify and conquer, Proceedings of the 1990 ACM conference on LISP and functional programming, p.218-226, June 27-29, 1990, Nice, France
	Chris Okasaki, Purely functional random-access lists, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.86-95, June 26-28, 1995, La Jolla, California, United States
	Tyng-Ruey Chuang, A randomized implementation of multiple functional arrays, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.173-184, July-Sept. 1994
	David Cann, Retire Fortran? A debate rekindled, Proceedings of the 1991 ACM/IEEE conference on Supercomputing, p.264-272, November 18-22, 1991, Albuquerque, New Mexico, United States
	Alan Deutsch, On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.157-168, December 1989, San Francisco, California, United States
	Simon L. Peyton Jones , Philip Wadler, Imperative functional programming, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.71-84, March 1993, Charleston, South Carolina, United States
	Tyng-Ruey Chuang , Benjamin Goldberg, Real-time deques, multihead Turing machines, and purely functional programming, Proceedings of the conference on Functional programming languages and computer architecture, p.289-298, June 09-11, 1993, Copenhagen, Denmark
	A. V. S. Sastry , William Clinger, Parallel destructive updating in strict functional languages, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.263-272, July-Sept. 1994
	David C. Cann , Paraskevas Evripidou, Advanced Array Optimizations for High Performance Functional Languages, IEEE Transactions on Parallel and Distributed Systems, v.6 n.3, p.229-239, March 1995
	Melissa E. O'Neill , F. Warren Burton, Smarter garbage collection with simplifiers, Proceedings of the 2006 workshop on Memory system performance and correctness, October 22-22, 2006, San Jose, California
	Henry G. Baker, Lively linear Lisp: “look ma, no garbage!”, ACM SIGPLAN Notices, v.27 n.8, p.89-98, Aug. 1992
	George Becker , Neil V. Murray, Efficient execution of programs with static semantics, ACM SIGPLAN Notices, v.30 n.4, p.51-60, April 1995
	Henry G. Baker, Equal rights for functional objects or, the more things change, the more they are the same, ACM SIGPLAN OOPS Messenger, v.4 n.4, p.2-27, Oct. 1993
	Henry G. Baker, Shallow binding makes functional arrays fast, ACM SIGPLAN Notices, v.26 n.8, p.145-147, Aug. 1991
	Melissa E. O'Neill , F. Warren Burton, A new method for functional arrays, Journal of Functional Programming, v.7 n.5, p.487-513, September 1997
	Akihiko Tozawa , Michiaki Tatsubori , Tamiya Onodera , Yasuhiko Minamide, Copy-on-write in the PHP language, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA