Article

Free access

Tag-free garbage collection for strongly typed programming languages

Author:

Benjamin GoldbergAuthors Info & Claims

PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation

Pages 165 - 176

https://doi.org/10.1145/113445.113460

Published: 01 May 1991 Publication History

PDF eReader

References

[1]

Appel, A.W. and MacQueen, D.B. A Standard ML Compiler. in Proceedings of the Conference on Functional Programming and Computer Architecture. Springer-Verlag LNCS 274, pp 301-324, 1987.]]

Digital Library

Google Scholar

[2]

ApI~l, A.W. Runtime Tags Aren't Necessary. In Lisp and Symbolic Computation, 2, 153-162, 1989.]]

Crossref

Google Scholar

[3]

Aho, A., Sethi, R., and Ullman, J. Compilers, Principles, Techniques, and Tools. Addison-Wesley, 1986.]]

Digital Library

Google Scholar

[4]

G.L. Bum, C.L. Hankin, and S. Abramsky. The theory of stricmess analysis for higher order functions. In Programs as Data Objects, LNCS 217. Springer- Verlag. 1985]]

Digital Library

Google Scholar

[5]

Branquart, P. and Lewi, j. A Scheme of Storage Allocation and Garbage Collection for Algol-68. In Algol-68 Implementation, North-Holland Publishing Company, 1970.]]

Google Scholar

[6]

Bfitton, D.E. Heap Storage Management for the Programming Language Pascal. Master's Thesis, University of Arizona, 1975.]]

Google Scholar

[7]

Cohen, J. Garbage Collection of Linked Data Structures. inACM Computing Surveys, 13(3), 341-367. September 1981.]]

Digital Library

Google Scholar

[8]

U.S. Dept. of Defense. Reference Manual for the Ada Programming Language. ANSI/MIL-STD- 1815A- 1983.]]

Digital Library

Google Scholar

[9]

Marshal, S. An Algol-68 Garbage Collector. InAlgol-68 Implementation, North-Holland Publishing Company, 1970.]]

Google Scholar

[10]

Milner, R., Tofte, M., and Harper, R. The Definition of Standard ML. MIT Press. 1990.]]

Digital Library

Google Scholar

[11]

Mishra, P. and Kuo, T-M. Strictness Analysis: A New Perspective Based on Type Inference. In Proceedings of the Conference of Functional Programming Languages and Computer Architecture. pp. 260-271.1989.]]

Digital Library

Google Scholar

[12]

Rudalics, M. Muhiprocessor List Memory Management. Ph.D. Thesis, Johannes Kepler University, Austria. RISC-LINZ report 88-87.0, December 1988.]]

Google Scholar

[13]

Stroustrup, B. The C++ programming language. Addison-Wesley, 1986.]]

Digital Library

Google Scholar

[14]

Ungar, D.M. The Design and Evaluation of a High Performance Smalltalk System. MIT Press. 1986.]]

Digital Library

Google Scholar

[15]

Wodon, P.L. Methods of Garbage Collection for Algol- 68. In Algol-68 implementation, North-Holland Publishing Company, 1970.]]

Google Scholar

Cited By

View all

Elsman M(2023)Garbage-Collection Safety for Region-Based Type-Polymorphic ProgramsProceedings of the ACM on Programming Languages10.1145/35912297:PLDI(221-243)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1145/3591229
ELSMAN MHALLENBERG N(2021)Integrating region memory management and tag-free generational garbage collectionJournal of Functional Programming10.1017/S095679682100001031Online publication date: 22-Feb-2021
https://doi.org/10.1017/S0956796821000010
Bergstra JMiddelburg C(2010)Data Linkage Dynamics with SheddingFundamenta Informaticae10.5555/1922521.1922524103:1-4(31-52)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1922521.1922524
Show More Cited By

Index Terms

Tag-free garbage collection for strongly typed programming languages
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
  2. Software notations and tools
    1. Compilers
    2. General programming languages
      1. Language features
        Procedures, functions and subroutines
      2. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs

Recommendations

Garbage collection for strongly-typed languages using run-time type reconstruction
LFP '94: Proceedings of the 1994 ACM conference on LISP and functional programming

Garbage collectors perform two functions: live-object detection and dead-object reclamation. In this paper, we present a new technique for live-object detection based on run-time type reconstruction for a strongly typed, polymorphic language. This ...
A typed interface for garbage collection

An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified code systems that treat the garbage collector as part of the trusted computing ...
A typed interface for garbage collection
TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation

An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified code systems that treat the garbage collector as part of the trusted computing ...

Comments

Information & Contributors

Information

Published In

PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation

May 1991

356 pages

ISBN:0897914287

DOI:10.1145/113445

Chairman:
David S. Wise
Indiana Univ., Bloomington

ACM SIGPLAN Notices Volume 26, Issue 6
June 1991
352 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/113446
Editor:
Richard L. Wexelblat
IDA/CSED, Alexandria, VA
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

PLDI91

Sponsor:

SIGPLAN

PLDI91: Conference on Programming Languages Design and Implementation

June 24 - 28, 1991

Ontario, Toronto, Canada

Acceptance Rates

Overall Acceptance Rate 406 of 2,067 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

52
Total Citations
View Citations
696
Total Downloads

Downloads (Last 12 months)104
Downloads (Last 6 weeks)13

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Elsman M(2023)Garbage-Collection Safety for Region-Based Type-Polymorphic ProgramsProceedings of the ACM on Programming Languages10.1145/35912297:PLDI(221-243)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1145/3591229
ELSMAN MHALLENBERG N(2021)Integrating region memory management and tag-free generational garbage collectionJournal of Functional Programming10.1017/S095679682100001031Online publication date: 22-Feb-2021
https://doi.org/10.1017/S0956796821000010
Bergstra JMiddelburg C(2010)Data Linkage Dynamics with SheddingFundamenta Informaticae10.5555/1922521.1922524103:1-4(31-52)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.5555/1922521.1922524
Rafkind JWick ARegehr JFlatt MKolodner HSteele G(2009)Precise garbage collection for CProceedings of the 2009 international symposium on Memory management10.1145/1542431.1542438(39-48)Online publication date: 19-Jun-2009
https://dl.acm.org/doi/10.1145/1542431.1542438
Nguyen HOhori ABossi AMaher M(2006)Compiling ML polymorphism with explicit layout bitmapProceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming10.1145/1140335.1140364(237-248)Online publication date: 10-Jul-2006
https://dl.acm.org/doi/10.1145/1140335.1140364
Leroy XMauny M(2005)Dynamics in MLFunctional Programming Languages and Computer Architecture10.1007/3540543961_20(406-426)Online publication date: 6-Jul-2005
https://doi.org/10.1007/3540543961_20
Goldberg B(2005)Incremental garbage collection without tagsESOP '9210.1007/3-540-55253-7_12(200-218)Online publication date: 30-May-2005
https://doi.org/10.1007/3-540-55253-7_12
Tarditi DMorrisett GCheng PStone CHarper RLee P(2004)TILACM SIGPLAN Notices10.1145/989393.98944939:4(554-567)Online publication date: 1-Apr-2004
https://dl.acm.org/doi/10.1145/989393.989449
Tofte MBirkedal LElsman MHallenberg N(2004)A Retrospective on Region-Based Memory ManagementHigher-Order and Symbolic Computation10.1023/B:LISP.0000029446.78563.a417:3(245-265)Online publication date: 1-Sep-2004
https://dl.acm.org/doi/10.1023/B%3ALISP.0000029446.78563.a4
Henderson F(2002)Accurate garbage collection in an uncooperative environmentACM SIGPLAN Notices10.1145/773039.51244938:2 supplement(150-156)Online publication date: 20-Jun-2002
https://dl.acm.org/doi/10.1145/773039.512449
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Garbage collection for strongly-typed languages using run-time type reconstruction

A typed interface for garbage collection

A typed interface for garbage collection