Using abstract interpretation to add type checking for interfaces in Java bytecode verification

DOI10.1016/j.tcs.2010.01.026zbMath1209.68085OpenAlexW2137822268MaRDI QIDQ974112

Giuseppe Lettieri, Luca Martini, Nicoletta De Francesco

Publication date: 27 May 2010

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2010.01.026

zbMATH Keywords

abstract interpretationbytecode verification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• DaCapo
• BCEL

Cites Work

• Unnamed Item
• Unnamed Item
• Java bytecode verification: Algorithms and formalizations
• Lightweight bytecode verification
• Grammar Analysis and Parsing by Abstract Interpretation
• Bytecode verification on Java smart cards
• Improving the official specification of Java bytecode verification
• Type elaboration and subtype completion for Java bytecode
• Systematic design of program transformation frameworks by abstract interpretation
• Abstract Interpretation Frameworks
• Making abstract interpretations complete

This page was built for publication: Using abstract interpretation to add type checking for interfaces in Java bytecode verification