Formalization of the Java Memory Model
Uloženo v:
| Název: | Formalization of the Java Memory Model |
|---|---|
| Autoři: | Glavan, Paola |
| Informace o vydavateli: | 2009. |
| Rok vydání: | 2009 |
| Témata: | DASM, formalization, partial orders, complexity results for verification problem, ASM, Java memory model |
| Popis: | 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. |
| Druh dokumentu: | Doctoral thesis |
| Jazyk: | English |
| Přístupová URL adresa: | https://www.bib.irb.hr/402749 |
| Přístupové číslo: | edsair.dedup.wf.002..3d1ae22c91d71c0afdf5bd6bfed13cde |
| Databáze: | OpenAIRE |
Nájsť tento článok vo Web of Science Buďte první, kdo okomentuje tento záznam!