Author:
Bernardeschi C.,Lettieri G.,Martini L.,Masci P.
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference5 articles.
1. Compilers: Principles, Techniques, and Tools;Aho,1986
2. P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: 4th Annual ACM SIGPLAN–SIGACT Symp. on Principles of Programming Languages Proceedings, Los Angeles, CA, 1977, pp. 238–252
3. Monotone data flow analysis frameworks;Kam;Acta Inform.,1977
4. Bytecode verification for Java smart card;Leroy;Software Practice Exp.,2002
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Decomposing bytecode verification by abstract interpretation;ACM Transactions on Programming Languages and Systems;2008-12