- -

Abstract diagnosis for timed concurrent constraint programs

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Abstract diagnosis for timed concurrent constraint programs

Show full item record

Comini, M.; Titolo, L.; Villanueva García, A. (2011). Abstract diagnosis for timed concurrent constraint programs. Theory and Practice of Logic Programming. 11:487-502. doi:10.1017/S1471068411000135

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/30115

Files in this item

Item Metadata

Title: Abstract diagnosis for timed concurrent constraint programs
Author: Comini, M Titolo, Laura Villanueva García, Alicia
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced ...[+]
Subjects: Abstract diagnosis , Abstract interpretation , Concurrent constraint paradigm , Denotational semantics , Abstract domains , Abstract interpretations , Abstract semantics , Behavior specifications , Concurrent constraint , Concurrent logic language , Debugging algorithms , Illustrative examples , Reactive system , Semi-automatics , Abstracting , Program debugging , Semantics , Specifications , Program diagnostics
Copyrigths: Reserva de todos los derechos
Source:
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S1471068411000135
Publisher:
Cambridge University Press
Publisher version: http://dx.doi.org/ 10.1017/S1471068411000135
Type: Artículo

This item appears in the following Collection(s)

Show full item record