Author： Nipkow Tobias
Publisher： Springer Publishing Company
ISSN： 0168-7433
Source： Journal of Automated Reasoning, Vol.30, Iss.3-4, 2003-05, pp. : 233-233
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
Java Bytecode Verification: Algorithms and Formalizations
By Leroy Xavier
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. :
Lightweight Bytecode Verification
By Rose Eva
Journal of Automated Reasoning, Vol. 31, Iss. 3-4, 2003-11 ,pp. :
Bytecode Verification by Model Checking
By Basin David Friedrich Stefan Gawkowski Marek
Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. :
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. :