Author:
Journault Matthieu,Miné Antoine,Ouadjaout Abdelraouf
Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;A Bouajjani,2006
2. Lecture Notes in Computer Science;A Bouajjani,2004
3. Bourdoncle, F.: Sémantiques des Langages Impératifs d’Ordre Supérieur et Interprétation Abstraite. Ph.D. thesis, Ecole polytechnique (1992)
4. Comon, H., et al.: Tree automata techniques and applications (2007). Release October, 12th 2007
5. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of POPL, pp. 238–252. ACM (1977)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献