Java bytecode verification on Java cards
Java bytecode verification on Java cards is a scholarly work, published in 2004. The main subjects of the publication include program analysis, strictfp, Java Modeling Language, computer science, Scala, Java Card, bytecode, Jakarta XML RPC, Java concurrency, Real time Java, programming language, fault tolerance, operating system, Java applet, generics in Java, Java bytecode, Java annotation, and Java. The authors define an abstract small-step semantics of the language, able to keep information regarding the modifications of data during Java constructs execution.