[gclist] On the Notion of Implementation
Tue, 3 Aug 1999 23:44:54 +0200
Dear GC people,
I've recently written a draft paper on the notion of implementation,
as illustrated with concurrent garbage collection.
The paper develops a very general notion of implementation,
and studies properties associated to implementations,
particularly a property of "soundness".
It takes concurrent GC as a general illustration,
so I thought it might be useful to those of you interested in formal proofs
(or informal ones! -- the ones you do to convince yourself) of
the correctness of a garbage collected programming language implementation.
I've submitted an earlier version to POPL'00,
I don't expect it to be accepted, because of its shortcomings
(section 5 is particularly weak).
I offer it to you for review and criticism.
The paper is named implement1 under
Sorry if this announce is inappropriate.
[ "Faré" | VN: Ð£ng-Vû Bân | Join the TUNES project! http://www.tunes.org/ ]
[ FR: François-René Rideau | TUNES is a Useful, Nevertheless Expedient System ]
[ Reflection&Cybernethics | Project for a Free Reflective Computing System ]
Science is a process based on an attitude of logic, imagination and doubt.