Abstracting Allocation: The New new Thing (Short Presentation)

  • Nick Benton ,
  • Noah Torp-Smith

Proceedings of the Third Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE '06) |

Download BibTex

We sketch some work in progress on using binary relations for the modular specification and verification of low-level code for memory allocators and their clients.