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

DOI10.1016/J.TCS.2010.01.026zbMATH Open1209.68085OpenAlexW2137822268MaRDI QIDQ974112FDOQ974112

Authors: 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

Recommendations

• A type system for the Java bytecode language and verifier
• Bytecode verification by model checking
• scientific article; zbMATH DE number 2087621
• Computer Aided Verification
• scientific article; zbMATH DE number 1231622

zbMATH Keywords

abstract interpretationbytecode verification

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Grammar Analysis and Parsing by Abstract Interpretation
• Bytecode verification on Java smart cards
• Systematic design of program transformation frameworks by abstract interpretation
• Making abstract interpretations complete
• Abstract Interpretation Frameworks
• Java bytecode verification: Algorithms and formalizations
• Lightweight bytecode verification
• Improving the official specification of Java bytecode verification
• Type elaboration and subtype completion for Java bytecode

Cited In (2)

• Java access protection through typing
• Safe structural conformance for Java

Uses Software

• DaCapo
• BCEL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q974112)