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