Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2 , and Douglas R. Smith1 1 2

First Page		Document Content
Date: 2012-08-02 20:23:28 Knowledge representation Memory management Tree Mutator Garbage collection Computing Automatic memory management Information science Software engineering		Formal Derivation of Concurrent Garbage Collectors Dusko Pavlovic1, Peter Pepper2 , and Douglas R. Smith1 1 2 Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 261,81 KB Share Document on Facebook