Verified bytecode verifiers
- 11 April 2003
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 298 (3), 583-626
- https://doi.org/10.1016/s0304-3975(02)00869-1
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Executing Higher Order LogicLecture Notes in Computer Science, 2002
- Standard fixpoint iteration for Java bytecode verificationACM Transactions on Programming Languages and Systems, 2000
- A formal framework for the Java bytecode language and verifierPublished by Association for Computing Machinery (ACM) ,1999
- A specification of Java loading and bytecode verificationPublished by Association for Computing Machinery (ACM) ,1998
- A type system for object initialization in the Java bytecode languagePublished by Association for Computing Machinery (ACM) ,1998
- Javalight is type-safe---definitelyPublished by Association for Computing Machinery (ACM) ,1998
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973