Pregled bibliografske jedinice broj: 402749
Formalization of the Java Memory Model
Formalization of the Java Memory Model, 2009., doktorska disertacija, PMF, Zagreb
CROSBI ID: 402749 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Formalization of the Java Memory Model
Autori
Glavan Paola
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija
Fakultet
PMF
Mjesto
Zagreb
Datum
08.06
Godina
2009
Stranica
100
Mentor
Yuri Gurevich, Zvonimir Šikić
Ključne riječi
Java memory model; formalization; partial orders; ASM; DASM; complexity results for verification problem
Sažetak
The goal of this thesis is to give a mathematically precise specification of the Java memory model and discuss its interpretation in the ASM context. We have refactored the original specification in order to clearly stipulate how it conditions the behavior of the environment. We show how each thread in a multithreaded Java program can be seen as an ordinary interactive small-step algorithm, and, consequently, how the Java program gives rise to a distributed ordinary interactive small-step ASM.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
120-1203164-3074 - Matematička logika i primjene (Šikić, Zvonimir, MZOS ) ( CroRIS)
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
