Reconstruction of Type Information from Java Bytecode for Component Compatibility

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F11%3A43899305" target="_blank" >RIV/49777513:23520/11:43899305 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Reconstruction of Type Information from Java Bytecode for Component Compatibility
Original language description
The Java type system is strictly checked by both the compiler and the runtime bytecode interpreter of the JVM. Using modern component systems can however circumvent these static checks, because incompatible versions of classes can be bound together during component installation or update. In this paper we describe a representation of Java language types suitable for checking component compatibility. The presented approach applies various bytecode handling techniques to reconstruct the representation which is then used during build- and run-time type system verifications with the aim to prevent component incompatibilities.
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
JC - Computer hardware and software
OECD FORD branch
—

Project
<a href="/en/project/GA201%2F08%2F0266" target="_blank" >GA201/08/0266: Methods and models for consistency verification of advanced component-based applications</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)