- -

A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp

Show simple item record

Files in this item

dc.contributor.author Comini, Marco es_ES
dc.contributor.author Titolo, Laura es_ES
dc.contributor.author Villanueva García, Alicia es_ES
dc.date.accessioned 2013-04-13T20:39:57Z
dc.date.available 2013-04-13T20:39:57Z
dc.date.issued 2013-04-13
dc.identifier.uri http://hdl.handle.net/10251/27810
dc.description.abstract In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short). Such semantics is defined for the full language. In particular, is able to deal with the non-monotonic characteristic of the language, which constitutes a substantial additional technical difficulty w.r.t. other compositional denotational semantics present in literature (which do not tackle the full language). The semantics is proved to be (correct and) fully abstract w.r.t. the full behavior of tccp, including infinite computations. This is particularly important since tccp has been defined to model reactive systems. The overall of these features makes our proposal particularly suitable as the basis for the definition of semantic-based program manipulation tools (like analyzers, debuggers or verifiers), especially in the context of reactive systems. es_ES
dc.language Inglés es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reconocimiento - No comercial - Compartir igual (by-nc-sa) es_ES
dc.subject Timed Concurrent Constraint programming es_ES
dc.subject denotational semantics es_ES
dc.subject full abstraction es_ES
dc.subject non-monotonic languages es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp es_ES
dc.type Informe es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Comini, M.; Titolo, L.; Villanueva García, A. (2013). A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp. http://hdl.handle.net/10251/27810 es_ES


This item appears in the following Collection(s)

Show simple item record