This page contains design notes for the Extended Static Checking for Java project, known as "ESCJ" notes. These documents are:
| ESCJ 32: | JML poster session at OOPSLA'00 [ PowerPoint | PDF ] |
| ESCJ 31: | Naming, revised [ HTML ] |
| ESCJ 30: | ESC/Java Quick Reference (nee ``A ref card for ESC/Java'') [ HTML ] |
| ESCJ 29: | Design and implementation for translating inner classes [ ASCII ] |
| ESCJ 28: | Annotation Wizard talk, Center Meeting, 21 April 1999 [ PowerPoint ] |
| ESCJ 27: | Esc/Java User's Manual (in the source code distribution) |
| ESCJ 26: | Esc/Java man page (in the source code distribution) |
| ESCJ 25b: | Esc/Java talk at Rice/T.J. Watson [ PowerPoint | PDF ] |
| ESCJ 24: | Astgen Manual [ HTML ] |
| ESCJ 23b: | Unique names in ESC/Java (extended by ESCJ 31) [ ASCII ] |
| ESCJ 22: | ESC/Java talk for summer interns [ PowerPoint | PDF ] |
| ESCJ 21: | ESC/Java user manual (old version) [ ASCII ] |
| ESCJ 20: | Soundness and completeness considered harmful [ PowerPoint | PDF ] |
| ESCJ 19: | Pre-demo ESC/Java talk (given to Andy Hopper et al. at WRL) [ PowerPoint | PDF ] |
| ESCJ 18: | ESC/Java project review, 10 March 1998 [ PDF ] |
| ESCJ 17a: | ESC/Java Annotation Reference Manual (supersedes ESCJ 7) [ HTML ] |
| ESCJ 16c: | Java to Guarded Commands translation (supersedes ESCJ 9) [ Word | PDF | ASCII ] |
| ESCJ 15: | Design issues for ESC/Java [ PowerPoint | PDF ] |
| ESCJ 14: | ESC/Java project review, 6 March 1997 [ PowerPoint | PDF ] |
| ESCJ 13: | Grammar parsed by javafe.parser.Parse [ HTML ] |
| ESCJ 12: | Handling Pragmas [ HTML ] |
| ESCJ 11: | Enforcing Object Invariants [ HTML ] |
| ESCJ 10: | Locking in Java [ HTML ] |
| ESCJ 9: | Java to guarded commands translation [ HTML ] |
| ESCJ 8a: | The logic of ESC/Java [ HTML ] |
| ESCJ 7: | ESC/Java annotation reference manual [ HTML ] |
| ESCJ 6: | Java's type system specification [ HTML ] |
| ESCJ 5: | Java's name resolution rules [ HTML ] |
| ESCJ 4: | Specifying the modification of extended state [ SRC Technical Note 1997-026 ] |
| ESCJ 3: | Checking Object Invariants [ SRC Technical Note 1997-007 ] |
| ESCJ 2: | Improving the safety of Java [ HTML ] |
| ESCJ 1: | Translating Java into units [ HTML ] |
| ESCJ 0: | ESC Lite [ HTML ] |
|
HP SRC Classic Lab Mail Stop 1250 1501 Page Mill Road, Palo Alto, CA 94304 Tel: (650) 857-2361 Fax: (650) 852-8186 |