Matches in SemOpenAlex for { <https://semopenalex.org/work/W2076609932> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2076609932 endingPage "135" @default.
- W2076609932 startingPage "114" @default.
- W2076609932 abstract "In 1979 Huet and Levy introduced the class of sequential term-rewriting systems in which call-by-need computations are possible (without look-ahead) and defined the subclass called strongly sequential systems for which needed redexes in a given term are effectively found [chapter in Computational Logic: Essays in Honor of Alan Robinson, J.-L. Lassez and G. Plotkin, eds., MIT Press, Cambridge, MA, 1991]. This paper introduces a larger subclass that is a natural extension of strong sequentiality and is based on the analysis of both the left-hand sides and part of the right-hand sides (i.e., the nonvariable parts) of systems, whereas strong sequentiality is based on the analysis of left-hand sides alone. This new sequentiality is called NV-sequentiality. It is shown that (i) the class of NV-sequential systems properly includes the class of strongly sequential systems, (ii) there exists an algorithm for finding needed redexes for a given term when a system is NV-sequential, and (iii) it is decidable whether an arbitrary left-linear system is NV-sequential." @default.
- W2076609932 created "2016-06-24" @default.
- W2076609932 creator A5003664950 @default.
- W2076609932 date "1993-02-01" @default.
- W2076609932 modified "2023-10-18" @default.
- W2076609932 title "NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems" @default.
- W2076609932 doi "https://doi.org/10.1137/0222010" @default.
- W2076609932 hasPublicationYear "1993" @default.
- W2076609932 type Work @default.
- W2076609932 sameAs 2076609932 @default.
- W2076609932 citedByCount "38" @default.
- W2076609932 crossrefType "journal-article" @default.
- W2076609932 hasAuthorship W2076609932A5003664950 @default.
- W2076609932 hasConcept C11413529 @default.
- W2076609932 hasConcept C114614502 @default.
- W2076609932 hasConcept C118615104 @default.
- W2076609932 hasConcept C121332964 @default.
- W2076609932 hasConcept C138885662 @default.
- W2076609932 hasConcept C153269930 @default.
- W2076609932 hasConcept C154690210 @default.
- W2076609932 hasConcept C154945302 @default.
- W2076609932 hasConcept C199360897 @default.
- W2076609932 hasConcept C2777212361 @default.
- W2076609932 hasConcept C2778029271 @default.
- W2076609932 hasConcept C2780980858 @default.
- W2076609932 hasConcept C33923547 @default.
- W2076609932 hasConcept C41008148 @default.
- W2076609932 hasConcept C41895202 @default.
- W2076609932 hasConcept C45374587 @default.
- W2076609932 hasConcept C61797465 @default.
- W2076609932 hasConcept C62520636 @default.
- W2076609932 hasConceptScore W2076609932C11413529 @default.
- W2076609932 hasConceptScore W2076609932C114614502 @default.
- W2076609932 hasConceptScore W2076609932C118615104 @default.
- W2076609932 hasConceptScore W2076609932C121332964 @default.
- W2076609932 hasConceptScore W2076609932C138885662 @default.
- W2076609932 hasConceptScore W2076609932C153269930 @default.
- W2076609932 hasConceptScore W2076609932C154690210 @default.
- W2076609932 hasConceptScore W2076609932C154945302 @default.
- W2076609932 hasConceptScore W2076609932C199360897 @default.
- W2076609932 hasConceptScore W2076609932C2777212361 @default.
- W2076609932 hasConceptScore W2076609932C2778029271 @default.
- W2076609932 hasConceptScore W2076609932C2780980858 @default.
- W2076609932 hasConceptScore W2076609932C33923547 @default.
- W2076609932 hasConceptScore W2076609932C41008148 @default.
- W2076609932 hasConceptScore W2076609932C41895202 @default.
- W2076609932 hasConceptScore W2076609932C45374587 @default.
- W2076609932 hasConceptScore W2076609932C61797465 @default.
- W2076609932 hasConceptScore W2076609932C62520636 @default.
- W2076609932 hasIssue "1" @default.
- W2076609932 hasLocation W20766099321 @default.
- W2076609932 hasOpenAccess W2076609932 @default.
- W2076609932 hasPrimaryLocation W20766099321 @default.
- W2076609932 hasRelatedWork W1497581330 @default.
- W2076609932 hasRelatedWork W1585460393 @default.
- W2076609932 hasRelatedWork W2036985061 @default.
- W2076609932 hasRelatedWork W2103664311 @default.
- W2076609932 hasRelatedWork W2171284891 @default.
- W2076609932 hasRelatedWork W4210495575 @default.
- W2076609932 hasRelatedWork W642373709 @default.
- W2076609932 hasRelatedWork W2157264760 @default.
- W2076609932 hasRelatedWork W2485084356 @default.
- W2076609932 hasRelatedWork W2583323428 @default.
- W2076609932 hasVolume "22" @default.
- W2076609932 isParatext "false" @default.
- W2076609932 isRetracted "false" @default.
- W2076609932 magId "2076609932" @default.
- W2076609932 workType "article" @default.