PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations (English)
Free access
- New search for: Jung, Tina
- New search for: Ritter, Fabian
- New search for: Hack, Sebastian
- New search for: Jung, Tina
- New search for: Ritter, Fabian
- New search for: Hack, Sebastian
- Article (Journal) / Electronic Resource
-
Title:PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations
-
Contributors:
-
Publication date:2021-01-01
-
Remarks:doi:10.1145/3460434
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 004 / 620
- Further information on Dewey Decimal Classification
-
Keywords:
-
Classification:
-
Licence:
-
Source: