- -

Listar por palabra clave "Program debugging"

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

Listar por palabra clave "Program debugging"

Ordenar por:Orden:Resultados:

  • 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 ...