- -

Listar por palabra clave "Abstract interpretation"

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

Listar por palabra clave "Abstract interpretation"

Ordenar por:Orden:Resultados:

  • thumb
    A program analysis framework for tccp based on abstract interpretation 
    Comini, Marco; Gallardo, Maria-del-Mar; Titolo, Laura; Villanueva, Alicia (Springer-Verlag, 2017-05)
    [EN] The timed concurrent constraint language (tccp) is a timed extension of the concurrent constraint paradigm. tccp was defined to model reactive systems, where infinite behaviors arise naturally. In previous works, a ...
  • thumb
    Abstract diagnosis for timed concurrent constraint programs 
    Comini, Marco; Titolo, Laura; Villanueva García, Alicia (Cambridge University Press, 2011)
    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 ...