Debido al alto tráfico generado por robots, aplicamos límites en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

Resumen:
Abstract Diagnosis for tccp using a Linear Temporal Logic

Vista sencilla de ítem
bs.conference.acronymPROLE
bs.conference.nameJornadas sobre Programación y Lenguajes (PROLE)
bs.edition.date2015-09-15
bs.edition.locationSantander
bs.edition.nameXV Jornadas de Programación y Lenguajes (PROLE 2015)
bs.proceedings.editorNavarro, M.
bs.proceedings.nameActas de las XV Jornadas de Programación y Lenguajes (PROLE 2015)
dc.contributor.affiliationDipartimento di Matematica e Informatica, U. di Udine
dc.contributor.affiliationDipartimento di Matematica e Informatica, U. di Udine
dc.contributor.affiliationDSIC, Universitat Politécnica de Valéncia
dc.contributor.authorComini, M.
dc.contributor.authorTitolo, L.
dc.contributor.authorVillanueva, A.
dc.contributor.signatureComini, M.
dc.contributor.signatureTitolo, L.
dc.contributor.signatureVillanueva, A.
dc.date.accessioned2015-09-15T00:00:00Z
dc.date.available2015-09-15T00:00:00Z
dc.date.issued2015-09-15
dc.description.abstractThis extended abstract is a summary of [5], where we provided an automatic decision method to check whether a given property, specified in a linear temporal logic, is valid w.r.t. a tccp program. Our proposal (based on abstract interpretation techniques) does not require to build any model of the program, in constrast with standard verification methods such as model checking. Our results guarantee correctness but, as usual when using an abstract semantics, completeness is lost.
dc.identifier.citationComini, M., Titolo, L., Villanueva, A.: Abstract Diagnosis for tccp using a Linear Temporal Logic. In: Navarro, M. (ed.) Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015). Sistedes (2015). https://hdl.handle.net/11705/PROLE/2015/026
dc.identifier.citation-bibtex@inproceedings{11705:PROLE:2015:026, title = {{Abstract Diagnosis for tccp using a Linear Temporal Logic}}, author = {Comini, M. and Titolo, L. and Villanueva, A.}, url = {https://hdl.handle.net/11705/PROLE/2015/026}, crossref = {11705:PROLE:2015} } @proceedings{11705:PROLE:2015, title = {{Actas de las XV Jornadas de Programaci\'{o}n y Lenguajes (PROLE 2015)}}, author = {Navarro, M.}, year = {2015}, publisher = {{Sistedes}}, }
dc.identifier.sistedes11705/PROLE/2015/026
dc.publisherSistedes
dc.relation.ispartofActas de las XV Jornadas de Programación y Lenguajes (PROLE 2015)
dc.rights.licenseCC BY 4.0
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.titleAbstract Diagnosis for tccp using a Linear Temporal Logic
dspace.entity.typeResumen
relation.isAuthorOfAbstract54d17d46-8e37-429e-a627-6788fa1c9080
relation.isAuthorOfAbstractda356f0e-9779-4e36-95fb-eb1e31f02bb6
relation.isAuthorOfAbstract4854be9d-49f5-4319-b971-0230a868a4de
relation.isAuthorOfAbstract.latestForDiscovery54d17d46-8e37-429e-a627-6788fa1c9080

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
11705-PROLE-2015-026.pdf
Tamaño:
131.54 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Verification