A Type-Theoretic Memory Model for Verification of Sequential Java Programs.

Joachim van den Berg Marieke Huisman Bart Jacobs Erik Poll A Type-Theoretic Memory Model for Verification of Sequential Java Programs. 1-21 1999 conf/wadt/1999 WADT db/conf/wadt/wadt1999.html#BergHJP99