On the Modularity of Deciding Call-by-Need
| hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
| hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
| dc.contributor.author | DURAND, Irène | |
| dc.contributor.author | MIDDELDORP, Aart | |
| dc.contributor.editor | Springer-Verlag | |
| dc.date.accessioned | 2024-04-15T09:53:18Z | |
| dc.date.available | 2024-04-15T09:53:18Z | |
| dc.date.created | 2000 | |
| dc.date.issued | 2001 | |
| dc.date.conference | 2001 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198596 | |
| dc.description.abstractEn | In 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.iso | en | |
| dc.publisher | Springer-Verlag | |
| dc.source.title | Foundations of Software Science and Computation Structures | |
| dc.subject.en | Term rewriting | |
| dc.subject.en | call-by-need | |
| dc.title.en | On the Modularity of Deciding Call-by-Need | |
| dc.type | Communication dans un congrès | |
| dc.subject.hal | Informatique [cs]/Informatique et langage [cs.CL] | |
| bordeaux.page | 199-213 | |
| bordeaux.volume | 2030 | |
| bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.conference.title | Foundations of Software Science and Computation Structures | |
| bordeaux.country | IT | |
| bordeaux.title.proceeding | Foundations of Software Science and Computation Structures | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | hal-00344304 | |
| hal.version | 1 | |
| hal.invited | non | |
| hal.proceedings | oui | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//hal-00344304v1 | |
| bordeaux.COinS | ctx_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 |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||