- -

Proving Termination Properties with Muterm

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Proving Termination Properties with Muterm

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: AlarconGutierrezLucas ...
Tamaño: 222.3Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir
[Cerrado]
Nombre: amast10LNCS.pdf
Tamaño: 171.2Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor
dc.contributor.author Alarcón, Beatriz es_ES
dc.contributor.author Gutiérrez Gil, Raúl es_ES
dc.contributor.author Lucas Alba, Salvador es_ES
dc.contributor.author Navarro-Marset, Rafael es_ES
dc.date.accessioned 2024-01-31T19:02:15Z
dc.date.available 2024-01-31T19:02:15Z
dc.date.issued 2010 es_ES
dc.identifier.issn 0302-9743 es_ES
dc.identifier.uri http://hdl.handle.net/10251/202264
dc.description.abstract [EN] MU-TERM is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost rewriting, termination of order-sorted rewriting, termination of context-sensitive rewriting, termination of innermost context-sensitive rewriting and termination of rewriting modulo specific axioms. Such termination properties are essential to prove termination of programs in sophisticated rewriting-based programming languages. Specific methods have been developed and implemented in MU-TERM in order to efficiently deal with most of them. In this paper, we report on these new features of the tool. es_ES
dc.description.sponsorship Partially supported by EU (FEDER) and MICINN grant TIN 2007-68093-C02-02. es_ES
dc.language Inglés es_ES
dc.publisher Springer-Verlag es_ES
dc.relation.ispartof Lecture Notes in Computer Science es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Termination Property es_ES
dc.subject Proof Tree es_ES
dc.subject Strongly Connect Component es_ES
dc.subject Termination Proof es_ES
dc.subject Termination Tool es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Proving Termination Properties with Muterm es_ES
dc.type Artículo es_ES
dc.identifier.doi 10.1007/978-3-642-17796-5_12 es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MEC//TIN2007-68093-C02-02/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escuela Politécnica Superior de Alcoy - Escola Politècnica Superior d'Alcoi es_ES
dc.description.bibliographicCitation Alarcón, B.; Gutiérrez Gil, R.; Lucas Alba, S.; Navarro-Marset, R. (2010). Proving Termination Properties with Muterm. Lecture Notes in Computer Science. 6486:201-208. https://doi.org/10.1007/978-3-642-17796-5_12 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion https://doi.org/10.1007/978-3-642-17796-5_12 es_ES
dc.description.upvformatpinicio 201 es_ES
dc.description.upvformatpfin 208 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 6486 es_ES
dc.relation.pasarela S\40496 es_ES
dc.contributor.funder European Regional Development Fund es_ES
dc.contributor.funder Ministerio de Educación y Ciencia es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem