Navegación

Búsqueda

Búsqueda avanzada

Abstract Diagnosis for Timed Concurrent Constraint programs Abstract

Resumen:

This short paper is a summary of the published paper [CTV11] where a general framework for the debugging of tccp programs is defined. To this end, a new compact, bottom-up semantics for the language that is well suited for debugging and verification purposes in the context of reactive systems was presented. In order to effectively implement the technique, we also provided an abstract semantics.

Palabras Clave:

abstract diagnosis - abstract interpretation - concurrent constraint paradigm - denotational semantics

Autor(es):

  • M. Comini {}
    Dipartimento di Matematica e Informatica, U. di Udine
  • L. Titolo {}
    Dipartimento di Matematica e Informatica, U. di Udine
  • A. Villanueva {}
    DSIC, Universitat Politécnica de Valéncia

Handle:

11705/PROLE/2012/011

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.