Type systems equivalent to data-flow analyses for imperative languages
- 8 November 2006
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 364 (3) , 292-310
- https://doi.org/10.1016/j.tcs.2006.08.013
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Lightweight Bytecode VerificationJournal of Automated Reasoning, 2003
- Eliminating counterevidence with applications to accountable certificate management1Journal of Computer Security, 2002
- Verified lightweight bytecode verificationConcurrency and Computation: Practice and Experience, 2001
- From Polyvariant flow information to intersection and union typesJournal of Functional Programming, 2001
- Types as abstract interpretationsPublished by Association for Computing Machinery (ACM) ,1997
- A sound type system for secure flow analysisJournal of Computer Security, 1996
- A type system equivalent to flow analysisACM Transactions on Programming Languages and Systems, 1995
- An Axiomatic Approach to Information Flow in ProgramsACM Transactions on Programming Languages and Systems, 1980
- Certification of programs for secure information flowCommunications of the ACM, 1977