FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092858640> ?p ?o ?g. }

• W2092858640 endingPage "108" @default.
• W2092858640 startingPage "87" @default.
• W2092858640 abstract "Innermost strategies are usually used in compiling term rewriting systems (TRSs) since they allow to efficiently build result terms in a bottom-up fashion. However, innermost strategies do not always give the shortest normalising derivation. In many cases, using an appropriate laziness annotation on the arguments of function symbols, we evaluate lazy arguments only if it is necessary and hence, get a shorter derivation to normal forms while avoiding non-terminating reductions. We provide in this work a transformation of annotated TRSs, that allows to compute normal forms using an innermost strategy and to extract lazy derivations in the original TRS from normalising derivations in the transformed TRS. We apply our result to improve the efficiency of equational reasoning in Coq proof assistant using ELAN as an external rewriting engine." @default.
• W2092858640 created "2016-06-24" @default.
• W2092858640 creator A5031677584 @default.
• W2092858640 date "2001-12-01" @default.
• W2092858640 modified "2023-09-27" @default.
• W2092858640 title "Compact Normalisation Trace via Lazy Rewriting" @default.
• W2092858640 cites W1483634823 @default.
• W2092858640 cites W1513451410 @default.
• W2092858640 cites W1868982956 @default.
• W2092858640 cites W2037343092 @default.
• W2092858640 cites W2051883829 @default.
• W2092858640 cites W2064305670 @default.
• W2092858640 cites W2081230256 @default.
• W2092858640 cites W2082314942 @default.
• W2092858640 cites W2106561528 @default.
• W2092858640 cites W4210350596 @default.
• W2092858640 doi "https://doi.org/10.1016/s1571-0661(04)00269-5" @default.
• W2092858640 hasPublicationYear "2001" @default.
• W2092858640 type Work @default.
• W2092858640 sameAs 2092858640 @default.
• W2092858640 citedByCount "8" @default.
• W2092858640 countsByYear W20928586402014 @default.
• W2092858640 crossrefType "journal-article" @default.
• W2092858640 hasAuthorship W2092858640A5031677584 @default.
• W2092858640 hasBestOaLocation W20928586401 @default.
• W2092858640 hasConcept C104317684 @default.
• W2092858640 hasConcept C108710211 @default.
• W2092858640 hasConcept C121332964 @default.
• W2092858640 hasConcept C128099668 @default.
• W2092858640 hasConcept C136119220 @default.
• W2092858640 hasConcept C138885662 @default.
• W2092858640 hasConcept C14036430 @default.
• W2092858640 hasConcept C154690210 @default.
• W2092858640 hasConcept C185592680 @default.
• W2092858640 hasConcept C199360897 @default.
• W2092858640 hasConcept C202444582 @default.
• W2092858640 hasConcept C203265346 @default.
• W2092858640 hasConcept C204241405 @default.
• W2092858640 hasConcept C2524010 @default.
• W2092858640 hasConcept C2778029271 @default.
• W2092858640 hasConcept C33923547 @default.
• W2092858640 hasConcept C41008148 @default.
• W2092858640 hasConcept C41895202 @default.
• W2092858640 hasConcept C42383842 @default.
• W2092858640 hasConcept C55493867 @default.
• W2092858640 hasConcept C61797465 @default.
• W2092858640 hasConcept C62520636 @default.
• W2092858640 hasConcept C75291252 @default.
• W2092858640 hasConcept C77906462 @default.
• W2092858640 hasConcept C78458016 @default.
• W2092858640 hasConcept C80444323 @default.
• W2092858640 hasConcept C86803240 @default.
• W2092858640 hasConceptScore W2092858640C104317684 @default.
• W2092858640 hasConceptScore W2092858640C108710211 @default.
• W2092858640 hasConceptScore W2092858640C121332964 @default.
• W2092858640 hasConceptScore W2092858640C128099668 @default.
• W2092858640 hasConceptScore W2092858640C136119220 @default.
• W2092858640 hasConceptScore W2092858640C138885662 @default.
• W2092858640 hasConceptScore W2092858640C14036430 @default.
• W2092858640 hasConceptScore W2092858640C154690210 @default.
• W2092858640 hasConceptScore W2092858640C185592680 @default.
• W2092858640 hasConceptScore W2092858640C199360897 @default.
• W2092858640 hasConceptScore W2092858640C202444582 @default.
• W2092858640 hasConceptScore W2092858640C203265346 @default.
• W2092858640 hasConceptScore W2092858640C204241405 @default.
• W2092858640 hasConceptScore W2092858640C2524010 @default.
• W2092858640 hasConceptScore W2092858640C2778029271 @default.
• W2092858640 hasConceptScore W2092858640C33923547 @default.
• W2092858640 hasConceptScore W2092858640C41008148 @default.
• W2092858640 hasConceptScore W2092858640C41895202 @default.
• W2092858640 hasConceptScore W2092858640C42383842 @default.
• W2092858640 hasConceptScore W2092858640C55493867 @default.
• W2092858640 hasConceptScore W2092858640C61797465 @default.
• W2092858640 hasConceptScore W2092858640C62520636 @default.
• W2092858640 hasConceptScore W2092858640C75291252 @default.
• W2092858640 hasConceptScore W2092858640C77906462 @default.
• W2092858640 hasConceptScore W2092858640C78458016 @default.
• W2092858640 hasConceptScore W2092858640C80444323 @default.
• W2092858640 hasConceptScore W2092858640C86803240 @default.
• W2092858640 hasLocation W20928586401 @default.
• W2092858640 hasLocation W20928586402 @default.
• W2092858640 hasLocation W20928586403 @default.
• W2092858640 hasOpenAccess W2092858640 @default.
• W2092858640 hasPrimaryLocation W20928586401 @default.
• W2092858640 hasRelatedWork W1553079342 @default.
• W2092858640 hasRelatedWork W2027798793 @default.
• W2092858640 hasRelatedWork W2030762481 @default.
• W2092858640 hasRelatedWork W2081679718 @default.
• W2092858640 hasRelatedWork W2092858640 @default.
• W2092858640 hasRelatedWork W2099473324 @default.
• W2092858640 hasRelatedWork W2115737686 @default.
• W2092858640 hasRelatedWork W2161216900 @default.
• W2092858640 hasRelatedWork W2168055414 @default.
• W2092858640 hasRelatedWork W2764317176 @default.
• W2092858640 hasVolume "57" @default.
• W2092858640 isParatext "false" @default.
• W2092858640 isRetracted "false" @default.
• W2092858640 magId "2092858640" @default.

• next