OASIcs.ICLP.2018.10.pdf
- Filesize: 214 kB
- 2 pages
Document
Towards Static Performance Guarantees for Programs with Run-Time Checks
Authors
Maximiliano Klemen 
,
Nataliia Stulova ,
Pedro Lopez-Garcia ,
José F. Morales ,
Manuel V. Hermenegildo
-
Part of:
Volume:
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Series: Open Access Series in Informatics (OASIcs)
Conference: International Conference on Logic Programming (ICLP) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2018-11-19
File
Document Identifiers
Author Details
- IMDEA Software Institute and Spanish Council for Scientific Research (CSIC), 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
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)
0PDF Downloads
References
-
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.
- 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.