HP Labs Technical Reports

Click here for full text: Checking Java programs via guarded commands Leino, K. Rustan M.; Saxe, James B.; Stata, Raymie SRC-TN-1999-002 Note: Also appeared in Formal Techniques for Java Programs, workshop proceedings. Bart Jacobs, Gary T. Leavens, Peter Muller, and Arnd Poetzsch-Heffter, editors. Technical Report 251, Fernuniversitat Hagen, 1999 Abstract: Also appeared in Formal Techniques for Java Programs, workshop proceedings. Bart Jacobs, Gary T. Leavens, Peter Muller, and Arnd Poetzsch-Heffter, editors. Technical Report 251, Fernuniversitat Hagen, 1999 Back to Index