• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Extended static checking (1998)

Cached

  • Download as a PDF

Download Links

  • [www.eecs.umich.edu]
  • [gatekeeper.dec.com]
  • [gatekeeper.dec.com]
  • [wwwwswest.sun.com]
  • [www.prolangs.rutgers.edu]
  • [www.cs.cmu.edu]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [www.hpl.hp.com]
  • [www-2.cs.cmu.edu]
  • [research.sun.com]
  • [research.microsoft.com]
  • [www.cs.wm.edu]
  • [www.sunlabs.com]
  • [www.sun.com]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by David L. Detlefs , K. Rustan M. Leino , Greg Nelson , James B. Saxe
Citations:273 - 28 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@TECHREPORT{Detlefs98extendedstatic,
    author = {David L. Detlefs and K. Rustan M. Leino and Greg Nelson and James B. Saxe},
    title = {Extended static checking},
    institution = {},
    year = {1998}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Citations

1635 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints - Cousot, Cousot - 1977
1310 A Discipline of Programming - Dijkstra - 1976
1219 An axiomatic basis for computer programming - Hoare - 1969
1048 On the criteria to be used in decomposing systems into modules - Parnas - 1972
478 Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs - Savage, Burrows, et al. - 1997
377 Proof of correctness of Data representations - Hoare - 1972
359 Symbolic execution and program testing - King - 1976
352 Simplification by cooperating decision procedures - Nelson, Oppen - 1979
163 An investigation of the therac-25 accidents - Leveson, Turner - 1993
116 A generalization of Dijkstra’s calculus - Nelson - 1989
104 LCLint: A tool for using specifications to check code - Evans, Guttag, et al. - 1994
95 Toward Reliable Modular Programs - Leino - 1995
92 Techniques for program verification - Nelson - 1981
91 Abstract debugging of higher-order imperative languages - Bourdoncle - 1993
80 Correctness of a compiler for arithmetic expressions - McCarthy, Painter - 1967
75 Detecting data races in cilk programs that use locks - Cheng, Feng, et al. - 1998
65 Wrestling with rep exposure - Detlefs, Leino, et al. - 1998
64 Catching bugs in the web of program invariants - Flanagan, Flatt, et al. - 1996
57 A Program Verifier - King - 1970
51 Aspect: Detecting bugs with abstract dependences - Jackson - 1995
49 A static data race analysis tool - WARLOCK - 1993
31 W.: Formal verification of Ada programs - Guaspari, Marceau, et al. - 1990
26 Mechanical proofs about computer programs - Good - 1985
25 Ecstatic: An object-oriented programming language with an axiomatic semantics - Leino - 1997
23 An Interactive Program Verifier - Deutsch - 1973
22 Reasoning about Java classes (preliminary report - Jacobs, Berg, et al. - 1998
22 Os6 - an experimental operating system for a small computer. part 1: general principles and structure - Stoy, Strachey - 1972
21 Property extraction in well-founded property sets - Wegbreit - 1975
19 Automating proofs of the absence of common runtime errors - GERMAN - 1978
14 Introduction to LCL: A Larch/C interface language - Guttag, Horning - 1991
14 Pascal Verifier user manual - Stanford - 1979
13 Combining satisfiability procedures by equality-sharing - Nelson - 1984
12 a C program checker. Computer Science - Lint - 1978
11 Some useful Modula-3 interfaces - Horning, Kalsow, et al. - 1993
10 Sema: A lint-like tool for analyzing semaphore usage in a multithreaded UNIX kernel - KORTY - 1989
9 Proving That Computer Programs Terminate Cleanly - Sites - 1974
8 An automatic theoremprover for program checking - Detlefs, Nelson, et al. - 1999
8 An Extensible Programming Environment for Modula3 - Jordan - 1990
5 Practical program verification: Automatic program proving for real-time embedded systems - Nagle, Johnson - 1983
3 La vérification des programmes d’ariane - Turin, Deutsch, et al. - 1998
2 Trestle reference manual. Research Report 68 - Manasse, Nelson - 1991
1 Industry outlook. Business Week, pages 54+ (see especially page 76 - Farrell - 1995
1 Abstraction and specification revisited. Internal manuscript - Leino, Nelson - 1998
1 Trestle tutorial. Research Report 69 - Manasse, Nelson - 1992
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

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

© 2007-2010 The Pennsylvania State University