Author:
Galland Antoine,Baudet Mathieu
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Baudet, M.: Contrôle de ressource et évitement des interblocages sur la mémoire. Master’s thesis, DEA Programmation (Paris), Gemplus Research Labs (September 2002)
2. Casset, L., Burdy, L., Requet, A.: Formal Development of an embedded verifier for Java Card Byte Code. In: The IEEE International Conference on Dependable Systems & Networks (DSN), Washington, D.C., USA, June 2002, pp. 51–58 (2002)
3. Chang, B.-M., Jo, J.-W., Yi, K., Choe, K.-M.: Interprocedural Exception Analysis for Java. In: 16th ACM Symposium on Applied Computing (SAC), Las Vegas, USA (March 2001)
4. The JavaTM Series;Z. Chen,2000
5. Choi, J.-D., Gupta, M., Serrano, M., Sreedhar, V.C., Midkiff, S.: Escape Analysis for JavaTm. In: ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 1999), Denver, USA, pp. 2–19 (1999)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type-Based Amortised Heap-Space Analysis;Programming Languages and Systems;2006