Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951358961> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2951358961 abstract "KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. The implementation is based on the idea to represent the search space as a data structure and logic variables as operations that generate their values. This has the advantage that one can apply various, and in particular, complete search strategies to compute solutions. However, the generation of all values for logic variables might be inefficient for applications that exploit constraints on partially known values. To overcome this drawback, we propose new techniques to implement equational constraints in this framework. In particular, we show how unification modulo function evaluation and functional patterns can be added without sacrificing the efficiency of the kernel implementation." @default.
- W2951358961 created "2019-06-27" @default.
- W2951358961 creator A5015149620 @default.
- W2951358961 creator A5024421847 @default.
- W2951358961 creator A5027447425 @default.
- W2951358961 creator A5056578480 @default.
- W2951358961 date "2011-08-29" @default.
- W2951358961 modified "2023-09-27" @default.
- W2951358961 title "Implementing Equational Constraints in a Functional Language" @default.
- W2951358961 cites W100098737 @default.
- W2951358961 cites W1486941949 @default.
- W2951358961 cites W1512480360 @default.
- W2951358961 cites W1522154830 @default.
- W2951358961 cites W1534776227 @default.
- W2951358961 cites W1650673748 @default.
- W2951358961 cites W1804441019 @default.
- W2951358961 cites W1880050370 @default.
- W2951358961 cites W2063521547 @default.
- W2951358961 cites W2078852650 @default.
- W2951358961 cites W2100738443 @default.
- W2951358961 cites W2106602483 @default.
- W2951358961 cites W2112087718 @default.
- W2951358961 cites W2114055423 @default.
- W2951358961 cites W2119156278 @default.
- W2951358961 cites W2124067082 @default.
- W2951358961 cites W2127844749 @default.
- W2951358961 cites W2128166167 @default.
- W2951358961 cites W2171649093 @default.
- W2951358961 cites W2275446441 @default.
- W2951358961 cites W2407568656 @default.
- W2951358961 cites W40096707 @default.
- W2951358961 cites W2583759421 @default.
- W2951358961 hasPublicationYear "2011" @default.
- W2951358961 type Work @default.
- W2951358961 sameAs 2951358961 @default.
- W2951358961 citedByCount "0" @default.
- W2951358961 crossrefType "posted-content" @default.
- W2951358961 hasAuthorship W2951358961A5015149620 @default.
- W2951358961 hasAuthorship W2951358961A5024421847 @default.
- W2951358961 hasAuthorship W2951358961A5027447425 @default.
- W2951358961 hasAuthorship W2951358961A5056578480 @default.
- W2951358961 hasConcept C118615104 @default.
- W2951358961 hasConcept C128838566 @default.
- W2951358961 hasConcept C165696696 @default.
- W2951358961 hasConcept C169590947 @default.
- W2951358961 hasConcept C199360897 @default.
- W2951358961 hasConcept C200833197 @default.
- W2951358961 hasConcept C2780624054 @default.
- W2951358961 hasConcept C33923547 @default.
- W2951358961 hasConcept C38652104 @default.
- W2951358961 hasConcept C41008148 @default.
- W2951358961 hasConcept C42383842 @default.
- W2951358961 hasConcept C54732982 @default.
- W2951358961 hasConcept C74193536 @default.
- W2951358961 hasConcept C79678938 @default.
- W2951358961 hasConcept C80444323 @default.
- W2951358961 hasConcept C96146094 @default.
- W2951358961 hasConceptScore W2951358961C118615104 @default.
- W2951358961 hasConceptScore W2951358961C128838566 @default.
- W2951358961 hasConceptScore W2951358961C165696696 @default.
- W2951358961 hasConceptScore W2951358961C169590947 @default.
- W2951358961 hasConceptScore W2951358961C199360897 @default.
- W2951358961 hasConceptScore W2951358961C200833197 @default.
- W2951358961 hasConceptScore W2951358961C2780624054 @default.
- W2951358961 hasConceptScore W2951358961C33923547 @default.
- W2951358961 hasConceptScore W2951358961C38652104 @default.
- W2951358961 hasConceptScore W2951358961C41008148 @default.
- W2951358961 hasConceptScore W2951358961C42383842 @default.
- W2951358961 hasConceptScore W2951358961C54732982 @default.
- W2951358961 hasConceptScore W2951358961C74193536 @default.
- W2951358961 hasConceptScore W2951358961C79678938 @default.
- W2951358961 hasConceptScore W2951358961C80444323 @default.
- W2951358961 hasConceptScore W2951358961C96146094 @default.
- W2951358961 hasLocation W29513589611 @default.
- W2951358961 hasOpenAccess W2951358961 @default.
- W2951358961 hasPrimaryLocation W29513589611 @default.
- W2951358961 hasRelatedWork W12807312 @default.
- W2951358961 hasRelatedWork W1491762427 @default.
- W2951358961 hasRelatedWork W1513263504 @default.
- W2951358961 hasRelatedWork W1530251652 @default.
- W2951358961 hasRelatedWork W1680431258 @default.
- W2951358961 hasRelatedWork W1971941065 @default.
- W2951358961 hasRelatedWork W1975813326 @default.
- W2951358961 hasRelatedWork W1975851647 @default.
- W2951358961 hasRelatedWork W2011124182 @default.
- W2951358961 hasRelatedWork W2027972092 @default.
- W2951358961 hasRelatedWork W2047799617 @default.
- W2951358961 hasRelatedWork W2050863593 @default.
- W2951358961 hasRelatedWork W2079778730 @default.
- W2951358961 hasRelatedWork W2112856950 @default.
- W2951358961 hasRelatedWork W2113562776 @default.
- W2951358961 hasRelatedWork W23202956 @default.
- W2951358961 hasRelatedWork W2570557253 @default.
- W2951358961 hasRelatedWork W2612872244 @default.
- W2951358961 hasRelatedWork W2949623342 @default.
- W2951358961 hasRelatedWork W637774 @default.
- W2951358961 isParatext "false" @default.
- W2951358961 isRetracted "false" @default.
- W2951358961 magId "2951358961" @default.
- W2951358961 workType "article" @default.