Author： Karaorman Murat Abercrombie Parker
Publisher： Springer Publishing Company
ISSN： 0925-9856
Source： Formal Methods in System Design, Vol.27, Iss.3, 2005-11, pp. : 275-312
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
Polymorphic bytecode instrumentation
SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 46, Iss. 10, 2016-10 ,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. :
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. :