Role analysis (2004)

Cached

Download Links

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

Active Bibliography

11 Designing an algorithm for role analysis – Viktor Kuncak - 2001
27 Type Qualifiers: Lightweight Specifications to Improve Software Quality – Jeffrey Scott Foster - 2002
356 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
57 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
5 Linear Logic and Imperative Programming – Limin Jia - 2008
11 Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
18 On the Boolean Algebra of Shape Analysis Constraints – Viktor Kuncak, Martin Rinard - 2003
14 Existential heap abstraction entailment is undecidable – Viktor Kuncak, Martin Rinard - 2003
10 On modular pluggable analyses using set interfaces – Patrick Lam, Viktor Kuncak, Martin Rinard - 2003
111 Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions – Radu Rugina, Martin Rinard - 2000
79 Effective typestate verification in the presence of aliasing – Stephen Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay - 2006
2 Monadic and Substructural Type Systems for Region-Based Memory Management – Matthew Thomas Fluet - 2007
14 Safe and flexible memory management in Cyclone – Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim - 2003
135 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
145 Ownership Types for Object Encapsulation – Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira - 2003
2 Linear logic, heap-shape patterns and imperative programming – Limin Jia - 2006
82 Pointer analysis: Haven’t we solved this problem yet? – Michael Hind - 2001
8 Typestate checking and regular graph constraints – Viktor Kuncak, Martin Rinard - 2002
23 Generalized typestate checking using set interfaces and pluggable analyses – Patrick Lam, Viktor Kuncak, Martin Rinard - 2004