Enforcing Programming Guidelines with Region Types and Effects.

Serdar Erbatur, Martin Hofmann, Eugen Zalinescu

Browse the full APLAS paper archive.