Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. Interprocedural compatibility analysis for static object preallocation. In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium of Principles of Programming Languages, pages 273--284, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Inserting Safe Memory Reuse Commands into ML-like Programs - Lee, Yang, Yi (2003) (1 citation) (Correct)
....ags in a call site: when a function is called with an input value with two constructors, instead of passing the four dynamic ags , ns , and ns , we pass and ns ns . For mutable data structures, we plan to take a conservative approach similar to that of Gheorghioiu et al. [6]: heap cells possibly reachable from modi able cells cannot be reused. Acknowledgment We thank the anonymous referees for their helpful comments. ....
Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. Interprocedural compatibility analysis for static object preallocation. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 273-284, January 2003.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) Self-citation (Rinard) (Correct)
No context found.
Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. Interprocedural compatibility analysis for static object preallocation. In Principles of Programming Languages (POPL), January 2003.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) Self-citation (Rinard) (Correct)
No context found.
Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. Interprocedural compatibility analysis for static object preallocation. In Principles of Programming Languages (POPL), January 2003.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) Self-citation (Rinard) (Correct)
No context found.
Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. Interprocedural compatibility analysis for static object preallocation. In Principles of Programming Languages (POPL), January 2003.
Ownership Types for Safe Region-Based Memory.. - Boyapati.. (2003) (4 citations) Self-citation (Salcianu Rinard) (Correct)
....can use to structure code based on their understanding of the memory usage behavior of a program; this mechanism may enable programmers to obtain a smaller space overhead. The additional development burden consists of grouping objects into regions and determining the maximum size of LT regions [31, 32]. 5. Conclusions The Real Time Specification for Java (RTSJ) allows programs to create real time threads and use region based memory management. The RTSJ uses runtime checks to ensure memory safety. This paper presents a static type system that guarantees that these runtime checks will never ....
O. Gheorghioiu, A. Salcianu, and M. C. Rinard. Interprocedural compatibility analysis for static object preallocation. In Principles of Programming Languages (POPL), January 2003.
Ownership Types for Safe Region-Based Memory.. - Boyapati.. (2003) (4 citations) Self-citation (Alcianu Rinard) (Correct)
....can use to structure code based on their understanding of the memory usage behavior of a program; this mechanism may enable programmers to obtain a smaller space overhead. The additional development burden consists of grouping objects into regions and determining the maximum size of LT regions [31, 32]. 5. Conclusions The Real Time Speci cation for Java (RTSJ) allows programs to create real time threads and use region based memory management. The RTSJ uses runtime checks to ensure memory safety. This paper presents a static type system that guarantees that these runtime checks will never ....
O. Gheorghioiu, A. Salcianu, and M. C. Rinard. Interprocedural compatibility analysis for static object preallocation. In Principles of Programming Languages (POPL), January 2003.
Sparse Bidirectional Data Flow Analysis as a Basis for Type.. - Singer (2004) (Correct)
No context found.
Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. Interprocedural compatibility analysis for static object preallocation. In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium of Principles of Programming Languages, pages 273--284, 2003.
Static Single Information from a Functional Perspective - Singer (Correct)
No context found.
O. Gheorghioiu, A. Salcianu, and M. Rinard. Interprocedural compatibility analysis for static object preallocation. In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 273--284, 2003.
Experiments on the Effectiveness of an Automatic Insertion of.. - Lee, Yi (2004) (Correct)
No context found.
Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. Interprocedural compatibility analysis for static object preallocation. In Proceedings of the ACM pages 273--284, January 2003.
Inserting Safe Memory Reuse Commands into ML-like Programs - Lee, Yang, Yi (2003) (1 citation) (Correct)
No context found.
Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. Interprocedural compatibility analysis for static object preallocation. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 273--284, January 2003.
the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
No context found.
Ovidiu Gheorghioiu, Alexandru Salcianu, and Martin Rinard. Interprocedural compatibility analysis for static object preallocation. In POPL [POPL2003].
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