Mostrar el registro sencillo del ítem

On the Modularity of Deciding Call-by-Need

hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
dc.contributor.authorDURAND, Irène
dc.contributor.authorMIDDELDORP, Aart
dc.contributor.editorSpringer-Verlag
dc.date.accessioned2024-04-15T09:53:18Z
dc.date.available2024-04-15T09:53:18Z
dc.date.created2000
dc.date.issued2001
dc.date.conference2001
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198596
dc.description.abstractEnIn a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple decidability proofs for a hierarchy of classes of rewrite systems that are much larger than earlier classes defined using the complicated sequentiality concept. In this paper we study the modularity of membership in the new hierarchy. Surprisingly, it turns out that none of the classes in the hierarchy is preserved under signature extension. By imposing various conditions we recover the preservation under signature extension. By imposing some more conditions we are able to strengthen the signature extension results to modularity for disjoint and constructor-sharing combinations.
dc.language.isoen
dc.publisherSpringer-Verlag
dc.source.titleFoundations of Software Science and Computation Structures
dc.subject.enTerm rewriting
dc.subject.encall-by-need
dc.title.enOn the Modularity of Deciding Call-by-Need
dc.typeCommunication dans un congrès
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
bordeaux.page199-213
bordeaux.volume2030
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.titleFoundations of Software Science and Computation Structures
bordeaux.countryIT
bordeaux.title.proceedingFoundations of Software Science and Computation Structures
bordeaux.peerReviewedoui
hal.identifierhal-00344304
hal.version1
hal.invitednon
hal.proceedingsoui
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00344304v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.btitle=Foundations%20of%20Software%20Science%20and%20Computation%20Structures&rft.date=2001&rft.volume=2030&rft.spage=199-213&rft.epage=199-213&rft.au=DURAND,%20Ir%C3%A8ne&MIDDELDORP,%20Aart&rft.genre=unknown


Archivos en el ítem

ArchivosTamañoFormatoVer

No hay archivos asociados a este ítem.

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

Mostrar el registro sencillo del ítem