Author:
Goubault Eric,Putot Sylvie,Védrine Franck
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Beezer, R.: A First Course in Linear Algebra (2006),
http://linear.ups.edu/online.html
2. Bourdoncle, F.: Abstract interpretation by dynamic partitioning. J. Funct. Program. 2(4), 407–423 (1992)
3. Cousot, P., Cousot, R.: Static determination of dynamic properties of recursive procedures. In: Formal Description of Programming Concepts, pp. 237–277. North-Holland (1977)
4. Cousot, P., Cousot, R.: Abstract interpretation frameworks. Journal of Logic and Computation 2(4), 511–547 (1992)
5. Lecture Notes in Computer Science;P. Cousot,2002
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs;Static Analysis;2023
2. Efficient Neural Network Validation with Affine Forms;2022 6th International Conference on System Reliability and Safety (ICSRS);2022-11-23
3. Dynamic interval analysis by abstract interpretation;Formal Methods in Outer Space;2021
4. MAF: A Framework for Modular Static Analysis of Higher-Order Languages;2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM);2020-09
5. Incremental Flow Analysis through Computational Dependency Reification;2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM);2020-09