Author:
Fradet Pascal,Gaugne Ronan,Le Métayer Daniel
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. A. Aho, R. Sethi and J. D. Ullman, Compilers: Principles, Techniques and Tools, Addison-Wesley publishing company, 1988.
2. R. Altucher and W. Landi, An extended form of must-alias analysis for dynamic allocation, in 22nd Annual ACM Symp. on Principles of Programming Languages POPL'95, Jan. 1995, pp.74–85.
3. L. Andersen, Program analysis and specialisation for the C programming language, Ph.D Thesis, DIKU, University of Copenhagen, May 1994.
4. J.-P. Banâtre, C. Bryce, D. Le Métayer, Compile-time detection of information flow in sequential programs, proc. European Symposium on Research in Computer Security, Springer Verlag, LNCS 875, pp. 55–74.
5. J.F. Bergeretti and B. Carré, Information-flow and data-flow analysis of while-programs, in ACM Transactions on Programming Languages and Systems,Vol. 7, No. 1, Jan. 85, pp. 37–61.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献