Towards static performance guarantees for programs with run-time checks

Klemen, Maximiliano and Stulova, Nataliia and López García, Pedro and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2018). Towards static performance guarantees for programs with run-time checks. In: "34th International Conference on Logic Programming", 14-17 Jul 2018, Oxford. pp. 1-2. https://doi.org/10.4230/OASIcs.ICLP.2018.10.

Description

Title: Towards static performance guarantees for programs with run-time checks
Author/s:
  • Klemen, Maximiliano
  • Stulova, Nataliia
  • López García, Pedro
  • Morales Caballero, José Francisco
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 34th International Conference on Logic Programming
Event Dates: 14-17 Jul 2018
Event Location: Oxford
Title of Book: OpenAccess Series in Informatics
Date: 2018
Subjects:
Freetext Keywords: Run-time Checks; Assertions; Abstract Interpretation; Resource Usage Analysis
Faculty: E.T.S. de Ingenieros Informáticos (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (219kB) | Preview

Abstract

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

More information

Item ID: 52884
DC Identifier: http://oa.upm.es/52884/
OAI Identifier: oai:oa.upm.es:52884
DOI: 10.4230/OASIcs.ICLP.2018.10
Official URL: https://www.cs.nmsu.edu/ALP/iclp2018/
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 30 Oct 2018 13:54
Last Modified: 30 Oct 2018 13:54
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM