 |
Rice University
Department of Computer Science
presents
Cormac Flanagan
Digital Systems Research Lab
Palo Alto, California
Extended Static Checking for Java
Abstract
This talk describes an experimental automatic checker that catches many common programming errors, in particular array bounds errors, null dereference errors, and synchronization errors in multi-threaded programs. The checking is performed at compile-time. The checker uses an automatic theorem-prover to reason about the semantics of conditional statements, loops, procedure and method calls, and exceptions. The checker has been implemented in and for Java. The checker has been run on several classes comprising more than a thousand lines of code. A demonstration will be given.
Thursday, October 29, 1998 at 4 p.m. in DH 1064
Reception to follow in DH 1049
--- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- |
|
| |
![[RiceCS]](http://www.cs.rice.edu/Database/media/CSLogo.gif){kind=small}
![[Rice]](http://www.cs.rice.edu/Database/media/Owl.gif){kind=small}