Bytecode verification on Java smart cards
- 15 March 2002
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 32 (4) , 319-340
- https://doi.org/10.1002/spe.438
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Java Bytecode Verification: An OverviewPublished by Springer Nature ,2001
- Verified Bytecode VerifiersPublished by Springer Nature ,2001
- Java and the Java Virtual MachinePublished by Springer Nature ,2001
- Standard fixpoint iteration for Java bytecode verificationACM Transactions on Programming Languages and Systems, 2000
- A type system for object initialization in the Java bytecode languageACM Transactions on Programming Languages and Systems, 1999
- A type system for Java bytecode subroutinesACM Transactions on Programming Languages and Systems, 1999
- Mobile Agents and SecurityPublished by Springer Nature ,1998
- Java intermediate bytecodesPublished by Association for Computing Machinery (ACM) ,1995
- Improvements to graph coloring register allocationACM Transactions on Programming Languages and Systems, 1994
- Register allocation & spilling via graph coloringACM SIGPLAN Notices, 1982