Mostrar el registro sencillo del ítem
dc.contributor.author | Gutiérrez Gil, Raúl | es_ES |
dc.contributor.author | Lucas Alba, Salvador | es_ES |
dc.date.accessioned | 2016-10-14T07:37:47Z | |
dc.date.available | 2016-10-14T07:37:47Z | |
dc.date.issued | 2014-09-16 | |
dc.identifier.uri | http://hdl.handle.net/10251/71781 | |
dc.description.abstract | Modularity is essential in software development, where a piece of software is often designed and implemented as a composition of simpler modules. So, if we want to prove that a program satisfies a given property, a modular approach becomes natural. With the development and successful use of the Dependency Pair Framework, which rather focuses on the decomposition of termination problems, less attention has been payed to modularity issues (which rather require the opposite approach). But the modular analysis of termination is still paramount for software developers. In this paper, we analyze modularity of context-sensitive rewrite systems. A modularity analysis was carried out by Gramlich and Lucas in 2002, but a correct notion of context-sensitive dependency pair (CS-DP) was not obtained until 2006. In this paper, we analyze modularity using CS-DPs. | es_ES |
dc.description.sponsorship | Partially supported by the EU (FEDER), MINECO projects TIN2010-21062-C02-02 and TIN 2013-45732-C4-1-P, and project PROMETEO/2011/052. Salvador Lucas’ research was developed during a sabbatical year at the CS Dept. of the UIUC and was also partially supported by NSF grant CNS 13-19109, Spanish MECD grant PRX12/00214, and GV grant BEST/2014/026. Raúl Gutiérrez is also partially supported by a Juan de la Cierva Fellowship from the Spanish MINECO, ref. JCI-2012-13528. | es_ES |
dc.format.extent | 13 | es_ES |
dc.language | Inglés | es_ES |
dc.publisher | Sistedes | es_ES |
dc.rights | Reconocimiento (by) | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.title | Towards an Incremental and Modular Termination Analysis of Context-Sensitive Rewriting Systems (Work in Progress) | es_ES |
dc.type | Comunicación en congreso | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MICINN//TIN2010-21062-C02-02/ES/SWEETLOGICS-UPV/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/NSF//1319109/US/TWC: Small: Collaborative: Extensible Symbolic Analysis Modulo SMT: Combining the Powers of Rewriting, Narrowing, and SMT Solving in Maude/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO//TIN2013-45732-C4-1-P/ES/UNA APROXIMACION DECLARATIVA AL MODELADO, ANALISIS Y RESOLUCION DE PROBLEMAS/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/GVA//BEST%2F2014%2F026/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MECD//PRX12%2F00214/ES/PRX12%2F00214/ | es_ES |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO//JCI-2012-13528/ES/JCI-2012-13528/ | 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.contributor.affiliation | Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica | es_ES |
dc.description.bibliographicCitation | Gutiérrez Gil, R.; Lucas Alba, S. (2014). Towards an Incremental and Modular Termination Analysis of Context-Sensitive Rewriting Systems (Work in Progress). Sistedes. http://hdl.handle.net/10251/71781 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.conferencename | XIV Jornadas sobre Programación y Lenguajes (PROLE 2014) | es_ES |
dc.relation.conferencedate | Septiembre 16-19, 2014 | es_ES |
dc.relation.conferenceplace | Cádiz, España | es_ES |
dc.relation.publisherversion | http://sistedes2014.uca.es/#actas | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.relation.senia | 276835 | es_ES |
dc.contributor.funder | Ministerio de Economía y Competitividad | es_ES |
dc.contributor.funder | European Regional Development Fund | es_ES |
dc.contributor.funder | Generalitat Valenciana | es_ES |
dc.contributor.funder | National Science Foundation, EEUU | es_ES |
dc.contributor.funder | Ministerio de Educación, Cultura y Deporte | es_ES |
dc.contributor.funder | Ministerio de Ciencia e Innovación | es_ES |