Document Open Access Logo

Towards Static Performance Guarantees for Programs with Run-Time Checks

Authors Maximiliano Klemen , Nataliia Stulova , Pedro Lopez-Garcia , José F. Morales , Manuel V. Hermenegildo



PDF
Thumbnail PDF

File

OASIcs.ICLP.2018.10.pdf
  • Filesize: 214 kB
  • 2 pages

Document Identifiers

Author Details

Maximiliano Klemen
  • IMDEA Software Institute and Universidad Politécnica de Madrid (UPM), Spain
Nataliia Stulova
  • IMDEA Software Institute and Universidad Politécnica de Madrid (UPM), Spain
Pedro Lopez-Garcia
  • IMDEA Software Institute and Spanish Council for Scientific Research (CSIC), Spain
José F. Morales
  • IMDEA Software Institute, Spain
Manuel V. Hermenegildo
  • IMDEA Software Institute and Universidad Politécnica de Madrid (UPM), Spain

Cite AsGet BibTex

Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, José F. Morales, and Manuel V. Hermenegildo. Towards Static Performance Guarantees for Programs with Run-Time Checks. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 10:1-10:2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/OASIcs.ICLP.2018.10

Abstract

This document is an extended abstract of the Technical Report CLIP-1/2018.0.

Subject Classification

ACM Subject Classification
  • Theory of computation → Program semantics
  • Theory of computation → Program analysis
  • Theory of computation → Pre- and post-conditions
  • Theory of computation → Invariants
Keywords
  • Run-time Checks
  • Assertions
  • Abstract Interpretation
  • Resource Usage Analysis

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. M.V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, and G. Puebla. An Overview of Ciao and its Design Philosophy. TPLP, 12(1-2):219-252, 2012. Google Scholar
  2. M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, and M. V. Hermenegildo. An Approach to Static Performance Guarantees for Programs with Run-time Checks. Technical Report CLIP-1/2018.0, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, April 2018. URL: http://arxiv.org/abs/1804.02380.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail