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:
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

Vista sencilla de ítem
bs.conference.acronymPROLE
bs.conference.nameJornadas sobre Programación y Lenguajes (PROLE)
bs.edition.date2021-09-22
bs.edition.locationMálaga
bs.edition.nameXX Jornadas de Programación y Lenguajes (PROLE 2021)
bs.proceedings.editorMartí Oliet, N.
bs.proceedings.nameActas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)
dc.contributor.affiliationUniversidad Rey Juan Carlos, Spain
dc.contributor.affiliationTechnical University of Madrid (UPM) and IMDEA Software Institute, Spain
dc.contributor.authorArias, Joaquín
dc.contributor.authorCarro, Manuel
dc.contributor.emailjoaquin.arias@urjc.es
dc.contributor.emailmcarro@fi.upm.es
dc.contributor.signatureArias, Joaquín
dc.contributor.signatureCarro, Manuel
dc.date.accessioned2021-09-22T00:00:00Z
dc.date.available2021-09-22T00:00:00Z
dc.date.issued2021-09-22
dc.description.abstractConferencia: 35th International Conference on Logic Programming. Publicado en revista: Theory and Practice of Logic Programming. Fecha de publicación: September 2019.
dc.identifier.citationArias, J., Carro, M.: Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. In: Martí Oliet, N. (ed.) Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021). Sistedes (2021). https://hdl.handle.net/11705/PROLE/2021/001
dc.identifier.citation-bibtex@inproceedings{11705:PROLE:2021:001, title = {{Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP}}, author = {Arias, J. and Carro, M.}, url = {https://hdl.handle.net/11705/PROLE/2021/001}, crossref = {11705:PROLE:2021} } @proceedings{11705:PROLE:2021, title = {{Actas de las XX Jornadas de Programaci\'{o}n y Lenguajes (PROLE 2021)}}, author = {Mart\'{i} Oliet, N.}, year = {2021}, publisher = {{Sistedes}}, }
dc.identifier.sistedes11705/PROLE/2021/001
dc.publisherSistedes
dc.relation.isformatofAlready published paper. See document contents for DOI.
dc.relation.ispartofActas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)
dc.rights.licenseCC BY-NC-ND 4.0
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectAbstract Interpretation
dc.subjectCiaoPP
dc.subjectConstraints
dc.subjectPLAI
dc.subjectProlog
dc.subjectTabling
dc.titleEvaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
dspace.entity.typeResumen
relation.isAuthorOfAbstract53ac3170-d3ed-4da2-bd1e-2ab0d62a94b4
relation.isAuthorOfAbstract3d7752d3-5b31-41f7-8aef-44f951b2fa3c
relation.isAuthorOfAbstract.latestForDiscovery53ac3170-d3ed-4da2-bd1e-2ab0d62a94b4

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
11705-PROLE-2021-001.pdf
Tamaño:
153 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Specification and implementation