Java Bytecode Verification

By Nipkow Tobias  

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 233-233

Springer Publishing Company

Access to resources Recommend Favorite

Java Bytecode Verification: Algorithms and Formalizations

By Leroy Xavier  

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 235-269

Springer Publishing Company

Access to resources Recommend Favorite

A Type System for the Java Bytecode Language and Verifier

By Freund Stephen   Mitchell John  

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 271-321

Springer Publishing Company

Access to resources Recommend Favorite

Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler

By Stärk Robert   Schmid Joachim  

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 323-361

Springer Publishing Company

Access to resources Recommend Favorite

jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation

By Karaorman Murat   Abercrombie Parker  

Formal Methods in System Design, Vol. 27, Iss. 3, 2005-11 ,pp. : 275-312

Springer Publishing Company

Access to resources Recommend Favorite