Java for embedded systems, IEEE Internet Computing, vol.2, issue.3, pp.30-39, 1998. ,
DOI : 10.1109/4236.683797
\Next-generation embedded java operating system for smart cards, 4th Gemplus Developer Conference, 2002. ,
\Introducing research issues for next generation Java-based smart card platforms, Proc. Smart Objects Conference (sOc'2003), 2003. ,
Java Applet Correctness: A Developer-Oriented Approach, FME 2003: Formal Methods: International Symposium of Formal Methods Europe, pp.422-439, 2003. ,
DOI : 10.1007/978-3-540-45236-2_24
Java Virtual Machine Specication, 1999. ,
Design, implementation, and evaluation of optimizations in a just-in-time compiler, Proceedings of the ACM 1999 conference on Java Grande , JAVA '99, pp.119-128, 1999. ,
DOI : 10.1145/304065.304111
Watterson, \Toba: Java for applications: A way ahead of time (wat) compiler, Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997. ,
\Harissa: a exible and ecient java environment mixing bytecode and compiled code, Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997. ,
\Soot -a java optimization framework, Proceedings of CASCON 1999, pp.125-135, 1999. ,
Annotating the Java bytecodes in support of optimization, Concurrency: Practice and Experience, vol.9, issue.11, pp.1003-1016, 1997. ,
DOI : 10.1002/(SICI)1096-9128(199711)9:11<1003::AID-CPE346>3.0.CO;2-G
Java annotation-aware just-in-time (AJIT) complilation system, Proceedings of the ACM 1999 conference on Java Grande , JAVA '99, pp.142-151, 1999. ,
DOI : 10.1145/304065.304115
\Java bytecode logic and specication, tech. rep, 2005. ,
Object-Oriented Software Construction 16. \Java In The Small, 1997. ,