D. Rayside and K. Kontogiannis, Extracting Java library subsets for deployment on embedded systems, Science of Computer Programming, vol.45, issue.2-3, pp.245-270, 2002.
DOI : 10.1016/S0167-6423(02)00059-X

F. Tip, P. F. Sweeney, C. Laffra, A. Eisma, and D. Streeter, Practical extraction techniques for Java, ACM Transactions on Programming Languages and Systems, vol.24, issue.6, pp.625-666, 2002.
DOI : 10.1145/586088.586090

N. Shaylor, D. N. Simon, and W. R. Bush, A java virtual machine architecture for very small devices, LCTES '03: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, pp.34-41, 2003.

S. Microsystems, Java 2 plateform

T. Lindholm and F. Yellin, The Java Virtual Machine Specification, 1996.

D. Mulchandani, Java for embedded systems, IEEE Internet Computing, vol.2, issue.3, pp.30-39, 1998.
DOI : 10.1109/4236.683797

I. Pechtchanski and V. Sarkar, Immutability specification and its applications, JGI 'O2: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, pp.202-211, 2002.

S. Microsystems, The k virtual machine (kvm) white paper. technical report, 1999.

C. Rippert, A. Courbot, and G. Grimaud, A low-footprint class loading mechanism for embedded java virtual machines, Proc. of PPPJ'04, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00113684

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

F. Tip, P. F. Sweeney, and C. Laffra, Extracting library-based Java applications, Communications of the ACM, vol.46, issue.8, pp.35-40, 2003.
DOI : 10.1145/859670.859695