Author:
Amtoft Torben,Banerjee Anindya
Reference34 articles.
1. M. Abadi, A. Banerjee, N. Heintze, J.G. Riecke, A core calculus of dependency, in: ACM Symposium on Principles of Programming Languages, POPL, 1999, pp. 147–160
2. T. Amtoft, S. Bandhakavi, A. Banerjee, A logic for information flow in object-oriented programs, in: ACM Symposium on Principles of Programming Languages, POPL, 2006, pp. 91–102
3. T. Amtoft, A. Banerjee, Information flow analysis in logical form, Tech. Rep. CIS TR 2004-3, Kansas State University, April 2004. URL: http://www.cis.ksu.edu/~ab/Publications/ifalftr.pdf
4. Information flow analysis in logical form;Amtoft,2004
5. An axiomatic approach to information flow in programs;Andrews;ACM Transactions on Programming Languages and Systems,1980
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献