Compositional Reasoning for Pointer Structures.

Yifeng Chen, Jeff W. Sanders

Browse the full MPC paper archive.