> Detailanzeige

Klemen, Maximiliano [VerfasserIn]; Stulova, Nataliia [VerfasserIn]; Lopez-Garcia, Pedro [VerfasserIn]; Morales, José F. [VerfasserIn]; Hermenegildo, Manuel V. [VerfasserIn] ; Maximiliano Klemen and Nataliia Stulova and Pedro Lopez-Garcia and José F. Morales and Manuel V. Hermenegildo [MitwirkendeR]

Towards Static Performance Guarantees for Programs with Run-Time Checks

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Elektronischer Konferenzbericht; Sonstige Veröffentlichung; E-Artikel
  • Titel: Towards Static Performance Guarantees for Programs with Run-Time Checks
  • Beteiligte: Klemen, Maximiliano [VerfasserIn]; Stulova, Nataliia [VerfasserIn]; Lopez-Garcia, Pedro [VerfasserIn]; Morales, José F. [VerfasserIn]; Hermenegildo, Manuel V. [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/OASIcs.ICLP.2018.10
  • Schlagwörter: Resource Usage Analysis ; Run-time Checks ; Abstract Interpretation ; Assertions
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: This document is an extended abstract of the Technical Report CLIP-1/2018.0.
  • Zugangsstatus: Freier Zugang