Verifying Pointer and String Analyses with Region Type Systems.

Lennart Beringer, Robert Grabowski, Martin Hofmann

Browse the full LPAR paper archive.