Aiken, A., Foster, J.S., Kodumal, J., Terauchi, T.: Checking and inferring local non-aliasing. In: (PLDI). (2003) Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Types for Lexically-Scoped Access Control - Terauchi, Aiken, Foster (2003) Self-citation (Aiken Foster Terauchi) (Correct)
No context found.
A. Aiken, J. S. Foster, J. Kodumal, and T. Terauchi. Checking and Inferring Local Non-Aliasing. In Proceedings of the 2003.
A Linear Language with Locations - Greg Morrisett Amal (Correct)
No context found.
Aiken, A., Foster, J.S., Kodumal, J., Terauchi, T.: Checking and inferring local non-aliasing. In: (PLDI). (2003)
On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
No context found.
A. Aiken, J. S. Foster, J. Kodumal, and T. Terauchi. Checking and inferring local nonaliasing. In PLDI 2003, 2003.
Spatial Computation - Budiu (2003) (Correct)
No context found.
Alex Aiken, Jeff Foster, John Kodumal, and Tachio Terauchi. Checking and inferring local non-aliasing. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2003.
Combining Garbage Collection and Safe Manual Memory Management - Hicks, Grossman, Jim (2004) (Correct)
No context found.
Alex Aiken, Je#rey S. Foster, John Kodumal, and Tachio Terauchi. Checking and inferring local non-aliasing. In PLDI, 2003.
A Practical Type System and Language for Reference Immutability - Birka, Ernst (2004) (1 citation) (Correct)
No context found.
A. Aiken, J. S. Foster, J. Kodumal, and T. Terauchi. Checking and inferring local non-aliasing. In Proceedings of the ACM SIGPLAN 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC