JPF: From 2003 to 2023

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
JPF: From 2003 to 2023
Original language description
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.
Czech name
—
Czech description
—

Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project
<a href="/en/project/GA23-06506S" target="_blank" >GA23-06506S: Advanced Analysis and Verification for Advanced Software</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Article name in the collection
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
—
Number of pages
20
Pages from-to
3-22
Publisher name
Springer
Place of publication
Neuveden
Event location
Lucemburk
Event date
Apr 8, 2024
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
001284179800001

Similar results(10)