Lightweight Shape Analysis Based on Physical Types.

Olivier Nicole, Matthieu Lemerre, Xavier Rival

Browse the full VMCAI paper archive.