Polymorphic bytecode instrumentation

E-ISSN： 1097-024x|46|10|1351-1380

ISSN： 0038-0644

Source： SOFTWARE:PRACTICE AND EXPERIENCE, Vol.46, Iss.10, 2016-10, pp. : 1351-1380

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

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

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

Lightweight Bytecode Verification

By Rose Eva

Journal of Automated Reasoning, Vol. 31, Iss. 3-4, 2003-11 ,pp. : 303-334

Springer Publishing Company

Access to resources Recommend Favorite

Verified Bytecode Subroutines

By Klein G. Wildmoser M.

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

Springer Publishing Company

Access to resources Recommend Favorite

Bytecode Verification by Model Checking

By Basin David Friedrich Stefan Gawkowski Marek

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

Springer Publishing Company

Access to resources Recommend Favorite