• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

DMCA

Extended Static Checking for Java (2002)

Cached

  • Download as a PDF

Download Links

  • [www.cs.colorado.edu]
  • [www-plan.cs.colorado.edu]
  • [www.hpl.hp.com]
  • [www.cs.cornell.edu]
  • [www.eecs.umich.edu]
  • [web.eecs.umich.edu]
  • [www.csc.kth.se]
  • [www.seas.gwu.edu]
  • [www.cs.wm.edu]
  • [www.seas.gwu.edu]
  • [www.cs.wm.edu]
  • [www.seas.gwu.edu]
  • [web.eecs.umich.edu]
  • [www.seas.gwu.edu]
  • [www.labs.hpe.com]
  • [www.seas.gwu.edu]
  • [network.ku.edu.tr]
  • [portal.ku.edu.tr]
  • [network.ku.edu.tr]
  • [portal.ku.edu.tr]
  • [www.soe.ucsc.edu]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [www.risc.jku.at]
  • [www.soe.ucsc.edu]
  • [www.cse.ucsc.edu]
  • [slang.soe.ucsc.edu]
  • [users.soe.ucsc.edu]
  • [users.soe.ucsc.edu]
  • [slang.soe.ucsc.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Cormac Flanagan , K. Rustan M. Leino , Mark Lillibridge , Greg Nelson , James B. Saxe , Raymie Stata
Citations:627 - 22 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Flanagan02extendedstatic,
    author = {Cormac Flanagan and K. Rustan M. Leino and Mark Lillibridge and Greg Nelson and James B. Saxe and Raymie Stata},
    title = { Extended Static Checking for Java},
    year = {2002}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces the Extended Static Checker for Java (ESC/Java), an experimental compile-time program checker that finds common programming errors. The checker is powered by verification-condition generation and automatic theoremproving techniques. It provides programmers with a simple annotation language with which programmer design decisions can be expressed formally. ESC/Java examines the annotated software and warns of inconsistencies between the design decisions recorded in the annotations and the actual code, and also warns of potential runtime errors in the code. This paper gives an overview of the checker architecture and annotation language and describes our experience applying the checker to tens of thousands of lines of Java programs.

Keyphrases

static checking    design decision    esc java    software development    experimental compile-time program checker    annotation language    costly endeavor    verification-condition generation    software defect    development cycle    extended static checker    annotated software    potential runtime error    java program    checker architecture    simple annotation language    automatic theoremproving technique    actual code   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University