FRINK Linked Data Fragments server

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

• W2128474760 abstract "Non-confluent and non-terminating constructor-based term rewrite systems are useful for the purpose of specification and programming. In particular, existing functional logic languages use such kind 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 (..) To appear in Theory and Practice of Logic Programming (TPLP)." @default.
• W2128474760 created "2016-06-24" @default.
• W2128474760 creator A5024844226 @default.
• W2128474760 creator A5028123043 @default.
• W2128474760 creator A5061438901 @default.
• W2128474760 creator A5073297779 @default.
• W2128474760 date "2012-09-12" @default.
• W2128474760 modified "2023-09-27" @default.
• W2128474760 title "Rewriting and narrowing for constructor systems with call-time choice semantics" @default.
• W2128474760 cites W1508237628 @default.
• W2128474760 cites W1512114921 @default.
• W2128474760 cites W1512480360 @default.
• W2128474760 cites W1521843416 @default.
• W2128474760 cites W1522154830 @default.
• W2128474760 cites W1534348627 @default.
• W2128474760 cites W1539487186 @default.
• W2128474760 cites W1542469490 @default.
• W2128474760 cites W1557619244 @default.
• W2128474760 cites W1583295953 @default.
• W2128474760 cites W1585088833 @default.
• W2128474760 cites W1593078387 @default.
• W2128474760 cites W1603716093 @default.
• W2128474760 cites W176560628 @default.
• W2128474760 cites W1837266337 @default.
• W2128474760 cites W1858561842 @default.
• W2128474760 cites W1980781982 @default.
• W2128474760 cites W1992085465 @default.
• W2128474760 cites W2004843654 @default.
• W2128474760 cites W2010331618 @default.
• W2128474760 cites W2023922836 @default.
• W2128474760 cites W2030663607 @default.
• W2128474760 cites W2044013129 @default.
• W2128474760 cites W2053719172 @default.
• W2128474760 cites W2053867970 @default.
• W2128474760 cites W2059799630 @default.
• W2128474760 cites W2062838731 @default.
• W2128474760 cites W2063521547 @default.
• W2128474760 cites W2070953905 @default.
• W2128474760 cites W2103328616 @default.
• W2128474760 cites W2106602483 @default.
• W2128474760 cites W2110845026 @default.
• W2128474760 cites W2112022010 @default.
• W2128474760 cites W2119156278 @default.
• W2128474760 cites W2130379877 @default.
• W2128474760 cites W2166089338 @default.
• W2128474760 cites W2166853829 @default.
• W2128474760 cites W2203051631 @default.
• W2128474760 cites W2569194463 @default.
• W2128474760 cites W78995489 @default.
• W2128474760 cites W2583759421 @default.
• W2128474760 hasPublicationYear "2012" @default.
• W2128474760 type Work @default.
• W2128474760 sameAs 2128474760 @default.
• W2128474760 citedByCount "0" @default.
• W2128474760 crossrefType "posted-content" @default.
• W2128474760 hasAuthorship W2128474760A5024844226 @default.
• W2128474760 hasAuthorship W2128474760A5028123043 @default.
• W2128474760 hasAuthorship W2128474760A5061438901 @default.
• W2128474760 hasAuthorship W2128474760A5073297779 @default.
• W2128474760 hasConcept C154690210 @default.
• W2128474760 hasConcept C156325763 @default.
• W2128474760 hasConcept C184337299 @default.
• W2128474760 hasConcept C199360897 @default.
• W2128474760 hasConcept C207648694 @default.
• W2128474760 hasConcept C2780432614 @default.
• W2128474760 hasConcept C39920170 @default.
• W2128474760 hasConcept C41008148 @default.
• W2128474760 hasConcept C42383842 @default.
• W2128474760 hasConcept C80444323 @default.
• W2128474760 hasConceptScore W2128474760C154690210 @default.
• W2128474760 hasConceptScore W2128474760C156325763 @default.
• W2128474760 hasConceptScore W2128474760C184337299 @default.
• W2128474760 hasConceptScore W2128474760C199360897 @default.
• W2128474760 hasConceptScore W2128474760C207648694 @default.
• W2128474760 hasConceptScore W2128474760C2780432614 @default.
• W2128474760 hasConceptScore W2128474760C39920170 @default.
• W2128474760 hasConceptScore W2128474760C41008148 @default.
• W2128474760 hasConceptScore W2128474760C42383842 @default.
• W2128474760 hasConceptScore W2128474760C80444323 @default.
• W2128474760 hasLocation W21284747601 @default.
• W2128474760 hasOpenAccess W2128474760 @default.
• W2128474760 hasPrimaryLocation W21284747601 @default.
• W2128474760 hasRelatedWork W1523341975 @default.
• W2128474760 hasRelatedWork W1550832659 @default.
• W2128474760 hasRelatedWork W1561229932 @default.
• W2128474760 hasRelatedWork W1562378881 @default.
• W2128474760 hasRelatedWork W1586133382 @default.
• W2128474760 hasRelatedWork W1604650377 @default.
• W2128474760 hasRelatedWork W1782293163 @default.
• W2128474760 hasRelatedWork W1966811716 @default.
• W2128474760 hasRelatedWork W1991936529 @default.
• W2128474760 hasRelatedWork W2001008439 @default.
• W2128474760 hasRelatedWork W2010104109 @default.
• W2128474760 hasRelatedWork W2033896951 @default.
• W2128474760 hasRelatedWork W2162832844 @default.
• W2128474760 hasRelatedWork W2202758818 @default.
• W2128474760 hasRelatedWork W2404589859 @default.
• W2128474760 hasRelatedWork W2407555347 @default.
• W2128474760 hasRelatedWork W2474644383 @default.
• W2128474760 hasRelatedWork W2508757230 @default.

• next