Mostra el registre d'ítem simple
Normal higher-order termination
dc.contributor.author | Jouannaud, Jean Pierre |
dc.contributor.author | Rubio Gimeno, Alberto |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2015-11-16T09:58:07Z |
dc.date.available | 2015-11-16T09:58:07Z |
dc.date.issued | 2015-03-01 |
dc.identifier.citation | Jouannaud, J., Rubio, A. Normal higher-order termination. "ACM transactions on computational logic", 01 Març 2015, vol. 16, núm. 2, p. 13:1-13:38. |
dc.identifier.issn | 1529-3785 |
dc.identifier.uri | http://hdl.handle.net/2117/79284 |
dc.description.abstract | We extend the termination proof methods based on reduction orderings to higher-order rewriting systems based on higher-order pattern matching. We accommodate, on the one hand, a weakly polymorphic, algebraic extension of Church's simply typed λ-calculus and, on the other hand, any use of eta, as a reduction, as an expansion, or as an equation. The user's rules may be of any type in this type system, either a base, functional, or weakly polymorphic type. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Computer logic |
dc.subject.other | Higher-order orderings |
dc.subject.other | Higher-order patterns |
dc.subject.other | Higher-order rewriting |
dc.subject.other | Typed lambda calculus |
dc.title | Normal higher-order termination |
dc.type | Article |
dc.subject.lemac | Lògica informàtica |
dc.contributor.group | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
dc.identifier.doi | 10.1145/2699913 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://dl.acm.org/citation.cfm?doid=2737801.2699913 |
dc.rights.access | Open Access |
local.identifier.drac | 15609852 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Jouannaud, J.; Rubio, A. |
local.citation.publicationName | ACM transactions on computational logic |
local.citation.volume | 16 |
local.citation.number | 2 |
local.citation.startingPage | 13:1 |
local.citation.endingPage | 13:38 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [1.049]
-
Articles de revista [16]