JPF: From 2003 to 2023

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F24%3A10479675" target="_blank" >RIV/00216208:11320/24:10479675 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1007/978-3-031-57249-4_1" target="_blank" >https://doi.org/10.1007/978-3-031-57249-4_1</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-57249-4_1" target="_blank" >10.1007/978-3-031-57249-4_1</a>

Jazyk výsledku
angličtina
Název v původním jazyce
JPF: From 2003 to 2023
Popis výsledku v původním jazyce
We give an account of JPF's current architecture as it has evolved over the last 20 years. Key changes include a modular, extensible design, and Java 11 support.Java 11 brought with it fundamental changes in the language and its runtime, in particular, a new modular library system, different compilation of string expressions to bootstrap methods, and changes in many internal interfaces that allow access to the loaded code and the virtual machine state.These changes required numerous adaptations in JPF to ensure a successful compilation and correct behavior under Java 11.
Název v anglickém jazyce
JPF: From 2003 to 2023
Popis výsledku anglicky
We give an account of JPF's current architecture as it has evolved over the last 20 years. Key changes include a modular, extensible design, and Java 11 support.Java 11 brought with it fundamental changes in the language and its runtime, in particular, a new modular library system, different compilation of string expressions to bootstrap methods, and changes in many internal interfaces that allow access to the loaded code and the virtual machine state.These changes required numerous adaptations in JPF to ensure a successful compilation and correct behavior under Java 11.

Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt
<a href="/cs/project/GA23-06506S" target="_blank" >GA23-06506S: Pokročilá analýza a verifikace pro pokročilý software</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2024
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 statě ve sborníku
30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024)
ISBN
978-3-031-57248-7
ISSN
—
e-ISSN
—
Počet stran výsledku
20
Strana od-do
3-22
Název nakladatele
Springer
Místo vydání
Neuveden
Místo konání akce
Lucemburk
Datum konání akce
8. 4. 2024
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
001284179800001

Podobné výsledky(10)