Verifying a compiler optimization for multi-threaded Java
Reus, Bernhard ; Knapp, Alexander ; Cenciarelli, Pietro ; Wirsing, Martin 1998 Universität Augsburg
- Link zu diesem Datensatz
-
https://d-nb.info/1378256239
- Titel
-
Verifying a compiler optimization for multi-threaded Java
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing
- Autor(en)
-
- Reus, Bernhard
- Knapp, Alexander
- Cenciarelli, Pietro
- Wirsing, Martin
- Verlag
- Augsburg : Universität Augsburg [1998] - Berlin : Springer [1998]
- Jahr
- Erscheinungsdatum: 1998
- Umfang/Format
- Online-Ressource
- DOI
- 10.1007/3-540-64299-4_47
- Online
- https://doi.org/10.1007/3-540-64299-4_47
- Sprache
- eng
- Frühere/spätere Titel
-
- Enthalten in: In: Lecture Notes in Computer Science, 1376, S. 402-417
- Enthalten in: In: Lecture Notes in Computer Science, 1376, S. 402-417
- Enthalten in: In: Lecture Notes in Computer Science, 1376, S. 402-417
- Stand
- 15.02.2026 17:04
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
