Author:
Nicole Olivier,Lemerre Matthieu,Rival Xavier
Publisher
Springer International Publishing
Reference36 articles.
1. Andersen, L.O.: Program analysis and specialization for the C programming language. Ph.D. thesis, DIKU (1994)
2. Lecture Notes in Computer Science;J Berdine,2007
3. Brown, N.: Linux kernel design patterns - part 2. Linux Weekly News, June 2009
4. Chandra, S., Reps, T.: Physical type checking for C. In: ACM SIGSOFT Software Engineering Notes, vol. 24, pp. 66–75. ACM (1999)
5. Chang, B.Y.E., Rival, X.: Modular construction of shape-numeric analyzers. In: Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, EPTCS, vol. 129, pages 161–185 (2013)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Compiling with Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-06-20
2. Formally Verifying that a Program Does What It Should: The Wp Plug-in;Computer Science Foundations and Applied Logic;2024
3. Advanced Memory and Shape Analyses;Computer Science Foundations and Applied Logic;2024
4. SSA Translation Is an Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-01-09
5. Abstract Interpretation: From 0, 1, to $$\infty $$;Intelligent Systems Reference Library;2023