Re: Storage management, was Compile-time garbage collection (was Re: Compiler writers will love this language)

Dobes Vandermeer <dobes@dobesland.com>
4 Jul 2003 00:09:23 -0400

          From comp.compilers

Related articles
Compiler writers will love this language ericmuttta@email.com (2003-05-29)
Re: Compiler writers will love this language torbenm@diku.dk (2003-06-03)
Re: Compiler writers will love this language ericmuttta@email.com (2003-06-05)
Re: Compiler writers will love this language mwotton@cse.unsw.edu.au (2003-06-08)
Re: Compiler writers will love this language ericmuttta@email.com (2003-06-20)
Re: Compiler writers will love this language lex@cc.gatech.edu (Lex Spoon) (2003-06-25)
Compile-time garbage collection (was Re: Compiler writers will love th dobes@dobesland.com (Dobes Vandermeer) (2003-07-02)
Re: Storage management, was Compile-time garbage collection (was Re: dobes@dobesland.com (Dobes Vandermeer) (2003-07-04)
| List of all articles for this month |

From: Dobes Vandermeer <dobes@dobesland.com>
Newsgroups: comp.compilers
Date: 4 Jul 2003 00:09:23 -0400
Organization: Compilers Central
References: 03-05-211 03-06-015 03-06-054 03-06-057 03-06-078 03-06-112 03-07-025
Keywords: storage, bibliography
Posted-Date: 04 Jul 2003 00:09:23 EDT

> > > I admit, reference-counting has its problems and I have been toying
> > > around with an idea for what I call "compile-time
> > > reference-counting". ...
> >
> > Be sure to look up existing work. I'm certain that people have worked
> > on this kind of thing.
>
> I've been looking around for something similar, the most I've found is
> this paper:
>
> Ran Shaham, Eran Yahav, Elliot K. Kolodner, and Mooly Sagiv,
> Establishing Local Temporal Heap Safety Properties with Applications to
> Compile-Time Memory Management. To appear in the 10th Annual
> International Static Analysis Symposium (SAS '03) San Diego, California,
> USA, June 2003.
>
> Available from the author's web page at
> http://www.math.tau.ac.il/~ransh/ (direct:
> http://www.math.tau.ac.il/~rans/sas03-safety-mm.pdf )


Well, here are some more:


Simon B. Jones and M. White. Is compile time garbage collection worth the
effort. In Peyton Jones et al. Simon L. Peyton Jones, G. Hutton, and C. K.
Hols, editors. Third Annual Glasgow Workshop on Functional Programming.
Springer-Verlag, 1991, pages 172-176
Couldn't find this one


Simon B. Jones and Andrew S. Tyas. The implementer's dilemma: A mathematical
model of compile-time garbage collection. In Sixth Annual Glasgow Workshop
on Functional Programming, Workshops in Computer Science. Springer-Verlag,
1993, pages 139-144
file://ftp.cs.stir.ac.uk/pub/tr/cs/1994/TR118.ps.Z


Simon B. Jones. An experiment in compile time garbage collection. Technical
Report 84, Programming Methodology Group, Göteborg University and Chalmers
University of Technology, January 1995
file://ftp.cs.stir.ac.uk/pub/tr/cs/1994/TR127.ps.Z


Thomas P. Jensen and Torben Mogensen. A backwards analysis for compile-time
garbage collection. In Neil D. Jones, editor, ESOP'90 3rd European Symposium
on Programming, Copenhagen, Denmark, May 1990. (Lecture Notes in Computer
Science, vol. 432), pages 227-239. Springer-Verlag, 1990
Couldn't find this one online


Compile-time garbage collection by sharing analysis. In ACM Func. Prog.
Langs. and Comp. Arch. (FPCA), 1989, pages 54-74. (not complete)
Available from acm.org
So far none of them account for threads -- you can augment them to support
global variables by annotating each function with the global variables that
it (and its callees) uses and modifies and treating those as part of the
parameters/returns of the function.


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.