Enforcing High-Level Protocols in Low-Level Software (2001)

by Robert DeLine , Manuel Fahndrich
Citations:362 - 9 self

Documents Related by Co-Citation

385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
266 A static analyzer for finding dynamic programming errors. Software - Practice and Experiance 2000;(30):775–802 – W R Bush, J D Pincus, D J Sielaff
339 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
301 Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code – Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, Benjamin Chelf - 2001
209 Typestate: A programming language concept for enhancing software reliability – R E Strom, S Yemini - 1986
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
119 an annotation assistant for ESC/Java – Houdini - 2001
108 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
99 Role analysis – Viktor Kuncak, Patrick Lam, Martin Rinard - 2004
258 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998
360 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
567 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
1404 A Discipline of Programming – E W Dijkstra - 1976
19 Checking system rules using system-speci c, programmer-written compiler extensions – D Engler, B Chelf, A Chou, S Hallem
79 Data groups: Specifying the modification of extended state – K. Rustan M. Leino - 1998