A Foundation of Escape Analysis*-Reference-Cited by-同舟云学术

A Foundation of Escape Analysis*

Published:2002 Issue: Volume: Page:380-395
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Hill Patricia M.,Spoto Fausto

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45719-4_26

Reference14 articles.

1. B. Blanchet. Escape Analysis: Correctness Proof, Implementation and Experimental Results. In 25th ACM SIGPLAN-SIGACT Symposium of Principles of Programming Languages (POPL’98), pages 25–37, San Diego, CA, USA, January 1998. ACM Press.

2. B. Blanchet. Escape Analysis for Object-Oriented Languages: Application to Java. In 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA’99), volume 34(1) of SIGPLAN Notices, pages 20–34, Denver, Colorado, USA, November 1999.

3. J.-D. Choi, M. Gupta, M. J. Serrano, V. C. Sreedhar, and S. P. Midki.. Escape Analysis for Java. In 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA’99), volume 34(10) of SIGPLAN Notices, pages 1–19, Denver, Colorado, USA, November 1999.

4. A. Cortesi, G. Filé, and W. Winsborough. The Quotient of an Abstract Interpretation. Theoretical Computer Science, 202(1–2):163–192, 1998.

5. P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. of POPL’77, pages 238–252, 1977.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Escape from escape analysis of Golang;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice;2020-06-27

2. Logic programs as compact denotations;Computer Languages, Systems & Structures;2003-10

3. Logic Programs as Compact Denotations;Practical Aspects of Declarative Languages;2002-12-16

4. A Refinement of the Escape Property;Lecture Notes in Computer Science;2002