67 citations found. Retrieving documents...
B. Blanchet. Escape analysis for object oriented languages. application to java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, November 1999.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Pointer and Escape Analysis for Multithreaded Programs - Martin Rinard Alexandru (2001)   (Correct)

No context found.

B. Blanchet. Escape analysis for object oriented languages. application to java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, November 1999.


Logic Programs as Compact Denotations - Hill, Spoto (2003)   (Correct)

No context found.

B. Blanchet. Escape Analysis for Object Oriented Languages. Application to Java TM . In OOPSLA'99, volume 34(10) of SIGPLAN Notices, pages 20-34, 1999.


Pointer and Escape Analysis for Multithreaded Programs - Salcianu, Rinard (2001)   (13 citations)  (Correct)

No context found.

B. Blanchet. Escape analysis for object oriented languages. application to Java. In Proceedings of the 14th Annual Conference on Object-Oriented Denver, CO, Nov. 1999.


SafeJava: A Unified Type System for Safe Programming - Boyapati (2004)   (2 citations)  (Correct)

No context found.

Bruno Blanchet. Escape analysis for object-oriented languages. Application to Java. November 1999.


Compaction Algorithm for Precise Modular.. - Kim, Nystrom, Barnes..   (Correct)

No context found.

Bruno Blanchet. Escape Analysis for Object Oriented Languages. Application to Java. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, 1999.


Logic Programs as Compact Denotations - Hill, Spoto (2003)   (Correct)

No context found.

B. Blanchet. Escape Analysis for Object Oriented Languages. Application to Java TM . In OOPSLA'99, volume 34(10) of SIGPLAN Notices, pages 20--34, 1999.


Scalable, Precise Context-Sensitive Top-Down Process for - Modular Points-To Analysis   (Correct)

No context found.

Bruno Blanchet. Escape analysis for object oriented languages. Application to Java. In OOPSLA, 1999.


Incrementalized Pointer and Escape Analysis - Vivien, Rinard (2001)   (11 citations)  (Correct)

No context found.

B. Blanchet. Escape analysis for object oriented languages. application to Java. In Proceedings of the 14th Annual Conference on Object-Oriented Denver, CO, Nov. 1999.


Efficient Implementation of Concurrent Programming Languages - Stenman (2002)   (Correct)

No context found.

Bruno Blanchet. Escape analysis for object oriented languages. Application to Java .InConference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'99), pages 20--34. ACM Press, November 1999.


Slicing Concurrent Java Programs: Issues and Solutions - Nanda (2001)   (Correct)

No context found.

Bruno Blanchet. Escape analysis for object-oriented languages. Application to Java. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications, pages 20-34, 1999.


Analysis of Multithreaded Programs - Rinard (2001)   (13 citations)  (Correct)

No context found.

B. Blanchet. Escape analysis for object oriented languages. application to Java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, Nov. 1999.


Elimination of Java Array Bounds Checks in the Presence of.. - Lujan, Gurd, al. (2004)   (3 citations)  (Correct)

No context found.

B. Blanchet. Escape analysis for object oriented languages. Application to Java. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Application -- OOPSLA'99, pages 20--34, 1999.


Type-Safe Multithreading in Cyclone - Grossman (2003)   (14 citations)  (Correct)

No context found.

B. Blanchet. Escape analysis for object oriented languages. Application to Java. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 20--34, Denver, CO, Nov. 1999.


Safe Programming at the C Level of Abstraction - Grossman (2003)   (Correct)

No context found.

Bruno Blanchet. Escape analysis for object oriented languages. Application to Java. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 20--34, Denver, CO, November 1999.


Oolala - From Numerical Linear Algebra To Compiler Technology For .. - Moreno (2002)   (Correct)

No context found.

B. Blanchet. Escape analysis for object oriented languages. Application to Java. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Application -- OOPSLA'99, pages 20--34, 1999.


Incrementalized Pointer and Escape Analysis - Fr Ed Eric (2001)   (1 citation)  (Correct)

No context found.

B. Blanchet. Escape analysis for object oriented languages. application to Java. In Proceedings of the 14th Annual Conference on Object-Oriented Denver, CO, Nov. 1999.


SafeJava: A Unified Type System for Safe Programming - Boyapati (2004)   (2 citations)  (Correct)

No context found.

Bruno Blanchet. Escape analysis for object-oriented languages. Application to Java. November 1999.


SafeJava: A Unified Type System for Safe Programming - Boyapati (2004)   (2 citations)  (Correct)

No context found.

Bruno Blanchet. Escape analysis for object-oriented languages. Application to Java. November 1999.


Precise and Practical Flow Analysis of Object-Oriented Software - Milanova (2003)   (Correct)

No context found.

B. Blanchet. Escape analysis for object-oriented languages. Applications to Java. In Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 20--34, 1999.


Java Card Safety and Security through Static - Analysis Ren Rydhof (2003)   (Correct)

No context found.

Bruno Blanchet. Escape Analysis for Object Oriented Languages. Application to Java. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'99, pages 20-34, 1999.


ACM Conference on Object-Oriented Programming, Systems.. - Parameterized Type..   (Correct)

No context found.

B. Blanchet. Escape analysis for object-oriented languages. Application to Java. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), November 1999.


Unknown -   (Correct)

No context found.

B. Blanchet. Escape analysis for object oriented languages. application to java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, November 1999.


Thread-Local Heaps for Java - Tamar Domani Gal (2002)   (2 citations)  (Correct)

No context found.

Bruno Blanchet. Escape analysis for object oriented languages. application to Java. In OOPSLA [13],


Janos: A Java-oriented OS for Active Network Nodes - Patrick Tullmann Mike (2001)   (4 citations)  (Correct)

No context found.

B. Blanchet. Escape analysis for object oriented languages. Application to Java. In Proceedings of the 1999.


Automatic Inference of Class Invariants - Logozzo (2004)   (Correct)

No context found.

B. Blanchet. Escape analysis for object oriented languages. Application to Java. In OOPSLA'99. ACM Press, November 1999.

First 50 documents  Next 50

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