Author:
Amme Wolfram,Möller Marc-André,Adler Philipp
Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. SafeTSA: A type safe and referentially secure mobile-code representation based on static single assignment form;Amme;ACM SIGPLAN Notices,2001
2. Amme, W., J. von Ronne and M. Franz, Quantifying the benefits of ssa-based mobile code, in: Proceedings of the International Workshop on Compiler Optimization Meets Compiler Verification (COCV'2005), Edinburgh, Scotland, 2005, pp. 101–115
3. Azevedo, A., A. Nicolau and J. Hummel, Java annotation-aware just-in-time (AJIT) compilation system, in: Proceedings of the Conference on Java Grande (JAVA'1999), 1999, pp. 142–151
4. Efficiently computing static single assignment form and the control dependence graph;Cytron;ACM Transactions on Programming Languages and Systems,1991
5. Franz, M., C. Krintz, V. Haldar and C.H. Stork, Tamper proof annotations, Technical Report 02-10, Department of Information and Computer Science, University of California, Irvine (2002)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献