FRINK Linked Data Fragments server

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

• W2964182171 endingPage "213" @default.
• W2964182171 startingPage "165" @default.
• W2964182171 abstract "Abstract Non-confluent and non-terminating {constructor-based term rewriting systems are useful for the purpose of specification and programming. In particular, existing functional logic languages use such kinds of rewrite systems to define possibly non-strict non-deterministic functions. The semantics adopted for non-determinism is call-time choice , whose combination with non-strictness is a non-trivial issue, addressed years ago from a semantic point of view with the Constructor-based Rewriting Logic (CRWL), a well-known semantic framework commonly accepted as suitable semantic basis of modern functional logic languages. A drawback of CRWL is that it does not come with a proper notion of one-step reduction, which would be very useful to understand and reason about how computations proceed. In this paper, we develop thoroughly the theory for the first-order version of let-rewriting, a simple reduction notion close to that of classical term rewriting, but extended with a let-binding construction to adequately express the combination of call-time choice with non-strict semantics. Let-rewriting can be seen as a particular textual presentation of term graph rewriting. We investigate the properties of let-rewriting, most remarkably their equivalence with respect to a conservative extension of the CRWL-semantics coping with let-bindings, and we show by some case studies that having two interchangeable formal views (reduction/semantics) of the same language is a powerful reasoning tool. After that, we provide a notion of let-narrowing, which is adequate for call-time choice as proved by soundness and completeness results of let-narrowing with respect to let-rewriting. Moreover, we relate those let-rewriting and let-narrowing relations (and hence CRWL) with ordinary term rewriting and narrowing, providing in particular soundness and completeness of let-rewriting with respect to term rewriting for a class of programs which are deterministic in a semantic sense." @default.
• W2964182171 created "2019-07-30" @default.
• W2964182171 creator A5024844226 @default.
• W2964182171 creator A5028123043 @default.
• W2964182171 creator A5061438901 @default.
• W2964182171 creator A5073297779 @default.
• W2964182171 date "2012-10-30" @default.
• W2964182171 modified "2023-10-09" @default.
• W2964182171 title "Rewriting and narrowing for constructor systems with call-time choice semantics" @default.
• W2964182171 cites W1522154830 @default.
• W2964182171 cites W1534348627 @default.
• W2964182171 cites W1536212484 @default.
• W2964182171 cites W1557619244 @default.
• W2964182171 cites W1603716093 @default.
• W2964182171 cites W1607765774 @default.
• W2964182171 cites W1837266337 @default.
• W2964182171 cites W1965996801 @default.
• W2964182171 cites W1980781982 @default.
• W2964182171 cites W1992085465 @default.
• W2964182171 cites W2000196688 @default.
• W2964182171 cites W2004843654 @default.
• W2964182171 cites W2010331618 @default.
• W2964182171 cites W2017543653 @default.
• W2964182171 cites W2017855559 @default.
• W2964182171 cites W2023922836 @default.
• W2964182171 cites W2030663607 @default.
• W2964182171 cites W2044013129 @default.
• W2964182171 cites W2053719172 @default.
• W2964182171 cites W2059799630 @default.
• W2964182171 cites W2062838731 @default.
• W2964182171 cites W2063521547 @default.
• W2964182171 cites W2070953905 @default.
• W2964182171 cites W2087389137 @default.
• W2964182171 cites W2106602483 @default.
• W2964182171 cites W2110845026 @default.
• W2964182171 cites W2112022010 @default.
• W2964182171 cites W2119156278 @default.
• W2964182171 cites W2130379877 @default.
• W2964182171 cites W2135972216 @default.
• W2964182171 cites W2138319635 @default.
• W2964182171 cites W2166089338 @default.
• W2964182171 cites W2166853829 @default.
• W2964182171 cites W4214478546 @default.
• W2964182171 cites W4230919050 @default.
• W2964182171 doi "https://doi.org/10.1017/s1471068412000373" @default.
• W2964182171 hasPublicationYear "2012" @default.
• W2964182171 type Work @default.
• W2964182171 sameAs 2964182171 @default.
• W2964182171 citedByCount "2" @default.
• W2964182171 countsByYear W29641821712014 @default.
• W2964182171 countsByYear W29641821712015 @default.
• W2964182171 crossrefType "journal-article" @default.
• W2964182171 hasAuthorship W2964182171A5024844226 @default.
• W2964182171 hasAuthorship W2964182171A5028123043 @default.
• W2964182171 hasAuthorship W2964182171A5061438901 @default.
• W2964182171 hasAuthorship W2964182171A5073297779 @default.
• W2964182171 hasBestOaLocation W29641821712 @default.
• W2964182171 hasConcept C154690210 @default.
• W2964182171 hasConcept C156325763 @default.
• W2964182171 hasConcept C184337299 @default.
• W2964182171 hasConcept C199360897 @default.
• W2964182171 hasConcept C207648694 @default.
• W2964182171 hasConcept C24858836 @default.
• W2964182171 hasConcept C2780432614 @default.
• W2964182171 hasConcept C39920170 @default.
• W2964182171 hasConcept C41008148 @default.
• W2964182171 hasConcept C42383842 @default.
• W2964182171 hasConcept C77906462 @default.
• W2964182171 hasConcept C80444323 @default.
• W2964182171 hasConceptScore W2964182171C154690210 @default.
• W2964182171 hasConceptScore W2964182171C156325763 @default.
• W2964182171 hasConceptScore W2964182171C184337299 @default.
• W2964182171 hasConceptScore W2964182171C199360897 @default.
• W2964182171 hasConceptScore W2964182171C207648694 @default.
• W2964182171 hasConceptScore W2964182171C24858836 @default.
• W2964182171 hasConceptScore W2964182171C2780432614 @default.
• W2964182171 hasConceptScore W2964182171C39920170 @default.
• W2964182171 hasConceptScore W2964182171C41008148 @default.
• W2964182171 hasConceptScore W2964182171C42383842 @default.
• W2964182171 hasConceptScore W2964182171C77906462 @default.
• W2964182171 hasConceptScore W2964182171C80444323 @default.
• W2964182171 hasIssue "2" @default.
• W2964182171 hasLocation W29641821711 @default.
• W2964182171 hasLocation W29641821712 @default.
• W2964182171 hasLocation W29641821713 @default.
• W2964182171 hasOpenAccess W2964182171 @default.
• W2964182171 hasPrimaryLocation W29641821711 @default.
• W2964182171 hasRelatedWork W1493950382 @default.
• W2964182171 hasRelatedWork W1977486458 @default.
• W2964182171 hasRelatedWork W1988438613 @default.
• W2964182171 hasRelatedWork W2020259928 @default.
• W2964182171 hasRelatedWork W2072493788 @default.
• W2964182171 hasRelatedWork W2369782853 @default.
• W2964182171 hasRelatedWork W3036972880 @default.
• W2964182171 hasRelatedWork W3129725704 @default.
• W2964182171 hasRelatedWork W91938043 @default.
• W2964182171 hasRelatedWork W2257517306 @default.
• W2964182171 hasVolume "14" @default.

• next