3671 search results - page 36 / 735 » On Garbage and Program Logic |
JAVA
2001
Springer
14 years 29 days ago
2001
Springer
Many concurrent garbage collection (GC) algorithms have been devised, but few have been implemented and evaluated, particularly for the Java programming language. Sapphire is an a...
IJSSE
2010
13 years 5 months ago
2010
Memory managers are an important part of any modern language: they are used to dynamically allocate memory for use in the program. Many managers exist and depending on the operati...
APLAS
2007
ACM
14 years 15 days ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
POPL
2009
ACM
14 years 3 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.