Abstract interpretation of algebraic polynomial systems (Extended abstract)-Reference-Cited by-同舟云学术

Abstract interpretation of algebraic polynomial systems (Extended abstract)

Published:1997 Issue: Volume: Page:138-154
ISSN:0302-9743
Container-title:Algebraic Methodology and Software Technology
language:
Short-container-title:

Author:

Cousot Patrick,Cousot Radhia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0000468

Reference25 articles.

1. A.V. Aho, R. Sethi & J.D. Ullman. Compilers. Principles, Technique and Tools. Addison-Wesley, 1986.

2. B. Courcelle. The monadic second-order logic of graphs X: Linear orders. TCS, 160:87–143, 1996.

3. P. Cousot & R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. 4 th ACM POPL, pp. 238–252, 1977.

4. P. Cousot & R. Cousot. Systematic design of program analysis frameworks. 6th ACM POPL, pp. 269–282, 1979.

5. P. Cousot & R. Cousot. Inductive definitions, semantics and abstract interpretation. 19th ACM POPL, pp. 83–94, 1992.

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

1. A Personal Historical Perspective on Abstract Interpretation;The French School of Programming;2023-10-11

2. On Constructivity of Galois Connections;Lecture Notes in Computer Science;2017-12-29

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. A Structural Soundness Proof for Shivers’s Escape Technique;Static Analysis;2012

5. Control-flow analysis of function calls and returns by abstract interpretation;ACM SIGPLAN Notices;2009-08-31