- -

Abstract diagnosis for timed concurrent constraint programs

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

Abstract diagnosis for timed concurrent constraint programs

Mostrar el registro completo del ítem

Titolo, L.; Villanueva García, A.; Comini, M. (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

Ficheros en el ítem

Metadatos del ítem

Título: Abstract diagnosis for timed concurrent constraint programs
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
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 ...[+]
Palabras clave: 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
Derechos de uso: Reserva de todos los derechos
Fuente:
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S1471068411000135
Editorial:
Cambridge University Press
Versión del editor: http://dx.doi.org/ 10.1017/S1471068411000135
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem