Mostrar el registro sencillo del ítem
dc.contributor.author | Leuschel, Michael | es_ES |
dc.contributor.author | Vidal Oriola, Germán Francisco | es_ES |
dc.date.accessioned | 2015-02-12T13:28:08Z | |
dc.date.available | 2015-02-12T13:28:08Z | |
dc.date.issued | 2014-04 | |
dc.identifier.issn | 0890-5401 | |
dc.identifier.uri | http://hdl.handle.net/10251/46960 | |
dc.description.abstract | One of the most important challenges in partial evaluation is the design of automatic methods for ensuring the termination of the process. In this work, we introduce sufficient conditions for the strong (i.e., independent of a computation rule) termination and quasitermination of logic programs which rely on the construction of size-change graphs. We then present a fast binding-time analysis that takes the output of the termination analysis and annotates logic programs so that partial evaluation terminates. In contrast to previous approaches, the new binding-time analysis is conceptually simpler and considerably faster, scaling to medium-sized or even large examples. © 2014 Elsevier Inc. All rights reserved. | es_ES |
dc.description.sponsorship | This work has been partially supported by the Spanish Ministerio de Ciencia e Innovacion under grant TIN2008-06622-C03-02 and by the Generalitat Valenciana under grant PROMETEO/2011/052. | en_EN |
dc.language | Inglés | es_ES |
dc.publisher | Elsevier | es_ES |
dc.relation.ispartof | Information and Computation | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | Partial evaluation | es_ES |
dc.subject | Termination analysis | es_ES |
dc.subject | Logic programming | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.title | Fast Offline Partial Evaluation of Logic Programs | es_ES |
dc.type | Artículo | es_ES |
dc.identifier.doi | 10.1016/j.ic.2014.01.005 | |
dc.relation.projectID | info:eu-repo/grantAgreement/MICINN//TIN2008-06622-C03-02/ES/VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEGURIDAD DEL SOFTWARE/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/ | 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 | Leuschel, M.; Vidal Oriola, GF. (2014). Fast Offline Partial Evaluation of Logic Programs. Information and Computation. 235:70-97. https://doi.org/10.1016/j.ic.2014.01.005 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.publisherversion | http://dx.doi.org/10.1016/j.ic.2014.01.005 | es_ES |
dc.description.upvformatpinicio | 70 | es_ES |
dc.description.upvformatpfin | 97 | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.description.volume | 235 | es_ES |
dc.relation.senia | 279294 | |
dc.contributor.funder | Ministerio de Ciencia e Innovación | es_ES |
dc.contributor.funder | Generalitat Valenciana | es_ES |