1 / 8

ESCJ 14: ESC/Java Project Review Slides

ESCJ 14: ESC/Java Project Review Slides. March 6th, 1997. What. Extended static checker for Java Array-bounds errors Null dereference errors Downcast errors Concurrency errors. Goals. Deploy ESC technology in useful form Want eager users Research required Adopt to Java (interfaces)

cyndi
Télécharger la présentation

ESCJ 14: ESC/Java Project Review Slides

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. ESCJ 14:ESC/Java Project Review Slides March 6th, 1997

  2. What • Extended static checker for Java • Array-bounds errors • Null dereference errors • Downcast errors • Concurrency errors

  3. Goals • Deploy ESC technology in useful form • Want eager users • Research required • Adopt to Java (interfaces) • New kinds of checks (object invariants) • Performance (space, time, variability) • Where to give up soundness and completeness

  4. Why: big picture • Reliable software is expensive to develop • Java is the future of programming • Leverage SRC strengths • Past ESC work • Java is like Modula-3

  5. Why: benefits to Digital • Build Java expertise • Support Java programmers in RAD, DEC • PR: Digital as a center of Java excellence • Build prover technology, expertise • Product?

  6. How • Interview RAD Java users • Design, test, document annotation language • Build checker • New code in Java • Front end • Verification-condition generator • Reuse theorem prover from ESC/Modula-3

  7. When • About a year • Release first version of tool • Following months • Build user community • Fold feedback into tool

  8. Who • Rustan Leino • Greg Nelson • Jim Saxe • Raymie Stata • …others

More Related