Abstract models of memory management

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	Shail Aditya , Alejandro Caro, Compiler-directed type reconstruction for polymorphic languages, Proceedings of the conference on Functional programming languages and computer architecture, p.74-82, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165192]
	2	Shail Aditya , Christine H. Flood , James E. Hicks, Garbage collection for strongly-typed languages using run-time type reconstruction, Proceedings of the 1994 ACM conference on LISP and functional programming, p.12-23, June 27-29, 1994, Orlando, Florida, United States
	3	A.W. Appel. Runtime tags aren't necessary. Journal of Lisp and Symbolic Computation, 2:153-162, 1989.
	4	Zena M. Ariola , John Maraist , Martin Odersky , Matthias Felleisen , Philip Wadler, A call-by-need lambda calculus, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.233-246, January 23-25, 1995, San Francisco, California, United States [doi>10.1145/199448.199507]
	5	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 [doi>10.1145/91556.91652]
	6	Erik Barendsen , Sjaak Smetsers, Conventional and Uniqueness Typing in Graph Rewrite Systems, Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, p.41-51, December 15-17, 1993
	7	P. Branquart and J. Lewi. A scheme for storage allocation and garbage collection for Algol-68. In A19ol-68 Implementation. North-Holland Publishing Company, Amsterdam, 1970.
	8	D. E. Britton. Heap storage management for the programming language Pascal. Master's thesis, University of Arizona, 1975.
	9	Jawahar Chirimar , Carl A. Gunter , Jon G. Riecke, Proving memory management invariants for a language based on linear logic, Proceedings of the 1992 ACM conference on LISP and functional programming, p.139-150, June 22-24, 1992, San Francisco, California, United States
	10	Alan Demmers , Mark Weiser , Barry Hayes , Hans Boehm , Daniel Bobrow , Scott Shenker, Combining generational and conservative garbage collection: framework and implementations, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.261-269, December 1989, San Francisco, California, United States [doi>10.1145/96709.96735]
	11	Matthias Felleisen , Robert Hieb, The revised report on the syntactic theories of sequential control and state, Theoretical Computer Science, v.103 n.2, p.235-271, 14 Sept. 1992 [doi>10.1016/0304-3975(92)90014-7]
	12	Pascal Fradet, Collecting more garbage, Proceedings of the 1994 ACM conference on LISP and functional programming, p.24-33, June 27-29, 1994, Orlando, Florida, United States
	13	Benjamin Goldberg, Tag-free garbage collection for strongly typed programming languages, Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, p.165-176, June 24-28, 1991, Toronto, Ontario, Canada
	14	Benjamin Goldberg , Michael Gloger, Polymorphic type reconstruction for garbage collection without tags, Proceedings of the 1992 ACM conference on LISP and functional programming, p.53-65, June 22-24, 1992, San Francisco, California, United States
	15	Robert Harper , Greg Morrisett, Compiling polymorphism using intensional type analysis, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.130-141, January 23-25, 1995, San Francisco, California, United States [doi>10.1145/199448.199475]
	16	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]
	17	John Launchbury, A natural semantics for lazy evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.144-154, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158618]
	18	Ian A. Mason , Carolyn L. Talcott, Reasoning About Programs with Effects, Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming, p.189-203, August 20-22, 1990
	19	I. Mason and C. Talcott. Equivalences in functional languages with effects. Journal of Functional Programming, 2(1), 1991.
	20	G. Morrisett, M. Felleisen, and R. Harper. Abstract models of memory management. Technical Report CMU-CS-95-110, School of Computer Science, Carnegie Mellon University, Jan. 1995. Available as ftp://reports, adm. cs. cmu. edu/usr/anon/1995/CMU-CS-95- ll0.ps.
	21	R. Morrison , A. Dearle , R. C. H. Connor , A. L. Brown, An ad hoc approach to the implementation of polymorphism, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.3, p.342-371, July 1991 [doi>10.1145/117009.117017]
	22	Scott Nettles, A Larch Specification of Copying Garbage Collection, Carnegie Mellon University, Pittsburgh, PA, 1992
	23	S. Purushothaman , Jill Seaman, An adequate operational semantics of sharing in lazy evaluation, Symposium proceedings on 4th European symposium on programming, p.435-450, January 1992, Rennes, France
	24	J. Reynolds. Types, abstraction, and parametric polymorphism. In Proceedings o/Information Processing 83, pages 513-523, 1983.
	25	Jill M. Seaman, An operational semantics of lazy evaluation for analysis, Pennsylvania State University, University Park, PA, 1993
	26	Peter Steenkiste , John Hennessy, Tags and type checking in LISP: hardware and software approaches, Proceedings of the second international conference on Architectual support for programming languages and operating systems, p.50-59, October 1987, Palo Alto, California, United States
	27	Andrew Tolmach, Tag-free garbage collection using explicit type parameters, Proceedings of the 1994 ACM conference on LISP and functional programming, p.1-11, June 27-29, 1994, Orlando, Florida, United States
	28	David Ungar, Generation Scavenging: A non-disruptive high performance storage reclamation algorithm, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.157-167, April 1984
	29	P. Wodon. Methods of garbage collection for Algol-68. In Algol-68 Implementation. North-Holland Publishing Company, Amsterdam, 1970.
	30	A. Wright and M. Felleisen. A syntactic approach to type soundness. Technical Report TR91-160, Department of Computer Science, Rice University, Apr. 1991.