3671 search results - page 2 / 735 » On Garbage and Program Logic |
ICFP
2012
ACM
11 years 7 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
POPL
2002
ACM
14 years 5 months ago
2002
ACM
IWMM
2009
Springer
13 years 11 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
RTCSA
2005
IEEE
13 years 10 months ago
2005
IEEE
Garbage collection considerably increases programmer productivity and software quality. However, it is difficult to implement garbage collection both efficiently and suitably fo...
POPL
2007
ACM
14 years 5 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...