Static Analysis for Stack Inspection
Open Access
- 31 August 2001
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 54, 69-80
- https://doi.org/10.1016/s1571-0661(04)00236-1
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Verified Bytecode VerifiersPublished by Springer Nature ,2001
- A Systematic Approach to Static Access ControlPublished by Springer Nature ,2001
- SAFKASIACM Transactions on Software Engineering and Methodology, 2000
- A framework for interprocedural optimization in the presence of dynamic class loadingACM SIGPLAN Notices, 2000
- A type system for expressive security policiesPublished by Association for Computing Machinery (ACM) ,2000
- A formal framework for the Java bytecode language and verifierPublished by Association for Computing Machinery (ACM) ,1999
- Data-Flow Analysis of Program FragmentsPublished by Springer Nature ,1999
- A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and SubroutinesPublished by Springer Nature ,1999
- A type system for object initialization in the Java bytecode languageACM SIGPLAN Notices, 1998
- A calculus for access control in distributed systemsACM Transactions on Programming Languages and Systems, 1993