Basic Concepts of Abstract Interpretation-Reference-Cited by-同舟云学术

Basic Concepts of Abstract Interpretation

Published:2004 Issue: Volume: Page:359-366
ISSN:1571-5736
Container-title:Building the Information Society
language:
Short-container-title:

Author:

Cousot Patrick,Cousot Radhia

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4020-8157-6_27

Reference11 articles.

1. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., and Rival, X. (2003). A static analyzer for large safety-critical software. PLDI’2003, 196–207, ACM.

2. Cousot, P. (1978). Méthodes itératives de construction et d’approximation de points fixes d’opé-rateurs monotones sur un treillis, analyse sémantique de programmes. Thèse d’État ès sciences mathématiques, Grenoble University, 21 March 1978.

3. Cousot, P. (1981). Semantic foundations of program analysis. In Muchnick, S.S. and Jones, N.D., editors, Program Flow Analysis: Theory and Applications, ch. 10, 303–342. Prentice-Hall.

4. Cousot, P. (1997). Types as abstract interpretations. 24th POPL, 316–331, ACM.

5. Cousot, P. (2000a). Abstract interpretation based formal methods and future challenges. « Informatics — 10 Years Back, 10 Years Ahead », LNCS 2000, 138–156, Springer.

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

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

2. Abstract Interpretation of Graphs;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023

3. Abstract Interpretation: From 0, 1, to $$\infty $$;Intelligent Systems Reference Library;2023

4. Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum;Frontiers in Blockchain;2022-03-24

5. Deciding Program Properties via Complete Abstractions on Bounded Domains;Static Analysis;2022