Sciweavers

BIRTHDAY
2003
Springer

Colimits for Concurrent Collectors

14 years 3 months ago
Colimits for Concurrent Collectors
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The specification formalism is mainly based on declarative programming paradigms, the imperative aspect is dealt with by using monads. We also sketch the use of temporal logic in connection with monadic specifications.
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where BIRTHDAY
Authors Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Comments (0)