Role analysis (2004)

Cached

Download Links

by Viktor Kuncak , Patrick Lam , Martin Rinard
Citations:99 - 41 self

Documents Related by Co-Citation

362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
209 Typestate: A programming language concept for enhancing software reliability – R E Strom, S Yemini - 1986
539 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
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
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
292 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
134 Linear Types Can Change the World! – Philip Wadler - 1990
155 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
332 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
339 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
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
124 Graph Types – Nils Klarlund , Michael I. Schwartzbach - 1993
108 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund