A Type System for the Java Bytecode Language and Verifier

ISSN： 0168-7433

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

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

Dynamic semantics of Java bytecode

By Bertelsen P.

Future Generation Computer Systems, Vol. 16, Iss. 7, 2000-05 ,pp. : 841-850

Elsevier

Access to resources Recommend Favorite

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

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