Author： Stärk Robert Schmid Joachim
Publisher： Springer Publishing Company
ISSN： 0168-7433
Source： Journal of Automated Reasoning, Vol.30, Iss.3-4, 2003-05, pp. : 323-361
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
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. :
Access to resources
Recommend
Dynamic semantics of Java bytecode
By Bertelsen P.
Future Generation Computer Systems, Vol. 16, Iss. 7, 2000-05 ,pp. :
Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. :
Java Bytecode Verification: Algorithms and Formalizations
By Leroy Xavier
Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. :