A Program Logic for Bytecode
Open Access
- 5 December 2005
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 141 (1) , 255-273
- https://doi.org/10.1016/j.entcs.2005.02.026
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Verified bytecode verifiersTheoretical Computer Science, 2003
- A Programming Logic for Java Bytecode ProgramsPublished by Springer Nature ,2003
- Formalizing the safety of Java, the Java virtual machine, and Java cardACM Computing Surveys, 2001
- Hoare logic for Java in Isabelle/HOLConcurrency and Computation: Practice and Experience, 2001
- A Programming Logic for Sequential JavaPublished by Springer Nature ,1999
- Logical Foundations for Typed Object-Oriented LanguagesPublished by Springer Nature ,1998