A Deterministic Memory Allocator for Dynamic Symbolic Execution

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Treffer 4 von 36


Link zu diesem Datensatz	https://d-nb.info/1366694341
Titel	A Deterministic Memory Allocator for Dynamic Symbolic Execution / Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
Person(en)	Schemmel, Daniel (Verfasser) Büning, Julian (Verfasser) Busse, Frank (Verfasser) Nowack, Martin (Verfasser) Cadar, Cristian (Verfasser)
Verlag	Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Zeitliche Einordnung	Erscheinungsdatum: 2022
Umfang/Format	Online-Ressource (pdf)
Persistent Identifier	URN: urn:nbn:de:0030-drops-162372 DOI: 10.4230/LIPIcs.ECOOP.2022.9
URL	https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.9 (Verlag) (kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
Beziehungen	Leibniz International Proceedings in Informatics, 2022, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022), page 9:1-9:26
DDC-Notation	005.43 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 4 von 36

Korrekturanfrage