Publications tagged "pointers"

Journal, Conference, and Workshop Papers

2007

Inferring Aliasing and Encapsulation Properties for Java
Kin-Keung Ma and Jeffrey S. Foster
In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 423–440, Montreal, Canada, October 2007.
tags: analysis, java, pointers
[ bibtex | doi ]

2003

Checking and Inferring Local Non-Aliasing
Alex Aiken, Jeffrey S. Foster, John Kodumal, and Tachio Terauchi
In Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 129–140, San Diego, California, June 2003.
tags: analysis, pointers
[ bibtex | doi ]

2000

Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C
Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken
In Static Analysis, Seventh International Symposium (SAS), volume 1824 of Lecture Notes in Computer Science, pages 175–198, Santa Barbara, California, June/July 2000. Springer-Verlag.
tags: analysis, pointers
[ bibtex | doi ]

1998

Partial Online Cycle Elimination in Inclusion Constraint Graphs
Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, and Alexander Aiken
In Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 85–96, Montreal, Canada, June 1998.
tags: analysis, pointers
[ bibtex | doi ]

Technical Reports

Checking Programmer-Specified Non-Aliasing
Jeffrey S. Foster and Alex Aiken
Technical Report CSD-01-1160, Computer Science Division, University of California, Berkeley, October 2001.
tags: analysis, pointers
[ bibtex ]

Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C
Jeffrey S. Foster, Manuel Fähndrich, and Alex Aiken
Technical Report CSD-00-1097, Computer Science Division, University of California, Berkeley, April 2000.
tags: analysis, pointers
[ bibtex ]

Flow-Insensitive Points-to Analysis with Term and Set Constraints
Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken
Technical Report CSD-97-964, Computer Science Division, University of California, Berkeley, August 1997.
tags: analysis, pointers
[ bibtex ]