MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Escape Analysis on Lists." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

Escape Analysis on Lists
by Young Gil Park, Benjamin Goldberg — 1992 — In Proceedings of the SIGPLAN '92 Conference on Program Language Design and Implementation
… had left open the problem of performing escape analysis on lists. Escape analysis simply determines…
Cited by 50 (0 self) – Add To MetaCart

Using static and dynamic escape analysis to enable model reductions in model-checking concurrent
by Matthew B. Dwyer, John Hatcliff, Venkatesh Prasad Ranganath — 2003
… ; } } } Fig. 2. Java examples illustrating static vs. dynamic escape analysis but the list is traversed…
Cited by 5 (2 self) – Add To MetaCart

Escape Analysis for Object Oriented Languages. Application to Java
by Bruno Blanchet — 1999 — IN PROCEEDINGS OF THE 14TH ANNUAL CONFERENCE ON OBJECT-ORIENTED PROGRAMMING SYSTEMS, LANGUAGES AND APPLICATIONS
…Escape Analysis for Object Oriented Languages. Application to Java TM Bruno BLANCHET INRIA…
Cited by 85 (1 self) – Add To MetaCart

Escape Analysis: Correctness Proof, Implementation and Experimental Results
by Bruno Blanchet — 1998 — In Conference Record of the 25th Annual ACM Symposium on Principles of Programming Languages
… allocated. 1.1 Related Work Escape analysis on lists has been introduced by Park and Goldberg [32…
Cited by 57 (2 self) – Add To MetaCart

Message analysis for concurrent languages
by Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson — 2003 — Static Analysis: Proceedings of the 10th International Symposium, volume 2694 of LNCS
…’s escape analysis on lists” [16] for a dynamically typed language. 4.4 Escape analysis As mentioned…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB