4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.DC2010★ 4 cited
Formal Derivation of Concurrent Garbage Collectors
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and…
cs.PL2005
Integration of Declarative and Constraint Programming
Petra Hofstedt, Peter Pepper
Combining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this pape…