PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations (Englisch)
Freier Zugriff
- Neue Suche nach: Jung, Tina
- Neue Suche nach: Ritter, Fabian
- Neue Suche nach: Hack, Sebastian
- Neue Suche nach: Jung, Tina
- Neue Suche nach: Ritter, Fabian
- Neue Suche nach: Hack, Sebastian
- Neue Suche nach: Universität Des Saarlandes
2021
- Sonstige / Elektronische Ressource
-
Titel:PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations
-
Beteiligte:Jung, Tina ( Autor:in ) / Ritter, Fabian ( Autor:in ) / Hack, Sebastian ( Autor:in ) / Universität Des Saarlandes ( Gastgebende Institution )
-
Verlag:
- Neue Suche nach: Universität des Saarlandes
-
Erscheinungsdatum:2021
-
DOI:
-
Medientyp:Sonstige
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 510
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
DDC: 510 -
Lizenzbestimmungen:
-
Datenquelle: