Building Certified Libraries for PCC: Dynamic Storage Allocation
Abstract elided by the publisher.
Related papers
- A Less Dynamic Memory Allocation Scheme for Algol-like Languages POPL 1984
- A certifying compiler for Java PLDI 2000
- Dynamic Storage Allocation: A Survey and Critical Review ISMM 1995
- Modular verification of concurrent assembly code with dynamic thread creation and termination ICFP 2005
- Efficient Implementation of the First-Fit Strategy for Dynamic Storage Allocation TOPLAS 1989
- An Improved Storage Management Scheme for Block Structured Languages TOPLAS 1991
- Dynamic heap type inference for program understanding and debugging POPL 2007
- Certified assembly programming with embedded code pointers POPL 2006