TY - GEN
AU - Klemen, Maximiliano
AU - Stulova, Nataliia
AU - Lopez-Garcia, Pedro
AU - Morales, José F.
AU - Hermenegildo, Manuel V.
AU - Maximiliano Klemen and Nataliia Stulova and Pedro Lopez-Garcia and José F. Morales and Manuel V. Hermenegildo
TI - Towards Static Performance Guarantees for Programs with Run-Time Checks
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Abstract Interpretation
KW - Resource Usage Analysis
KW - Assertions
KW - Run-time Checks
PY - 2018
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation