Reconstruction of Type Information from Java Bytecode for Component Compatibility

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Reconstruction of Type Information from Java Bytecode for Component Compatibility

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Reconstruction of Type Information from Java Bytecode for Component Compatibility

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA201%2F08%2F0266" target="_blank" >GA201/08/0266: Metody a modely pro ověřování konzistence aplikací založených na pokročilých komponentových modelech</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2011

Kód důvěrnosti údajů

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

Název periodika

Electronic Notes in Theoretical Computer Science

ISSN

1571-0661

e-ISSN

—

Svazek periodika

264

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

15

Strana od-do

3-18

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—