Control-flow analysis of function calls and returns by abstract interpretation-Reference-Cited by-同舟云学术

Control-flow analysis of function calls and returns by abstract interpretation

Published:2012-02 Issue: Volume:211 Page:49-76
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Midtgaard Jan,Jensen Thomas P.

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference45 articles.

1. N.D. Jones, Flow analysis of lambda expressions, Technical Report PB-128, Aarhus University, Aarhus, Denmark, 1981.

2. Flow analysis of lambda expressions (preliminary version);Jones,1981

3. A.E. Ayers, Abstract analysis and optimization of scheme, PhD thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1993.

4. O. Shivers, Control-flow analysis in scheme, in: M.D. Schwartz (Ed.), Proceedings of the ACM SIGPLAN 1988 Conference on Programming Languages Design and Implementation, Atlanta, Georgia, pp. 164–174.

5. P. Sestoft, Replacing function parameters by global variables, Masterʼs thesis, DIKU, Computer Science Department, University of Copenhagen, Copenhagen, Denmark, 1988.

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

1. Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation;Lecture Notes in Computer Science;2024

2. DeepInfer: Deep Type Inference from Smart Contract Bytecode;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

3. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14

4. Widening for Control-Flow;Lecture Notes in Computer Science;2014

5. A Structural Soundness Proof for Shivers’s Escape Technique;Static Analysis;2012