3671 search results - page 5 / 735 » On Garbage and Program Logic |
POPL
2004
ACM
14 years 7 months ago
2004
ACM
ENTCS
2006
13 years 7 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
ENTCS
2008
13 years 7 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
PLDI
1997
ACM
13 years 11 months ago
1997
ACM
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...
PPDP
2009
Springer
14 years 1 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...