Lightweight bytecode verification
From MaRDI portal
Publication:1826470
DOI10.1023/B:JARS.0000021015.15794.82zbMath1069.68542MaRDI QIDQ1826470
Publication date: 6 August 2004
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A certified lightweight non-interference Java bytecode verifier, \textsc{Mnemonics}: type-safe bytecode generation at run time, Proof-carrying code from certified abstract interpretation and fixpoint compression, Type systems equivalent to data-flow analyses for imperative languages, Abstraction-carrying code: a model for mobile code safety, Using abstract interpretation to add type checking for interfaces in Java bytecode verification, Reusing predicate precision in value analysis, Certificate size reduction in abstraction-carrying code, Sawja: Static Analysis Workshop for Java