FRINK Linked Data Fragments server

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

• W2113562776 endingPage "140" @default.
• W2113562776 startingPage "125" @default.
• W2113562776 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, in particular, complete search strategies or even user-defined 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.
• W2113562776 created "2016-06-24" @default.
• W2113562776 creator A5015149620 @default.
• W2113562776 creator A5024421847 @default.
• W2113562776 creator A5033465334 @default.
• W2113562776 creator A5056578480 @default.
• W2113562776 date "2013-01-01" @default.
• W2113562776 modified "2023-09-26" @default.
• W2113562776 title "Implementing Equational Constraints in a Functional Language" @default.
• W2113562776 cites W1486941949 @default.
• W2113562776 cites W1512480360 @default.
• W2113562776 cites W1522154830 @default.
• W2113562776 cites W1534776227 @default.
• W2113562776 cites W1605638241 @default.
• W2113562776 cites W1650673748 @default.
• W2113562776 cites W1804441019 @default.
• W2113562776 cites W1880050370 @default.
• W2113562776 cites W2048748607 @default.
• W2113562776 cites W2063521547 @default.
• W2113562776 cites W2078852650 @default.
• W2113562776 cites W2100738443 @default.
• W2113562776 cites W2104980999 @default.
• W2113562776 cites W2106602483 @default.
• W2113562776 cites W2112087718 @default.
• W2113562776 cites W2119156278 @default.
• W2113562776 cites W2124067082 @default.
• W2113562776 cites W2127844749 @default.
• W2113562776 cites W2128166167 @default.
• W2113562776 cites W2171649093 @default.
• W2113562776 cites W2275446441 @default.
• W2113562776 cites W76870825 @default.
• W2113562776 cites W79760435 @default.
• W2113562776 doi "https://doi.org/10.1007/978-3-642-45284-0_9" @default.
• W2113562776 hasPublicationYear "2013" @default.
• W2113562776 type Work @default.
• W2113562776 sameAs 2113562776 @default.
• W2113562776 citedByCount "7" @default.
• W2113562776 countsByYear W21135627762014 @default.
• W2113562776 countsByYear W21135627762015 @default.
• W2113562776 countsByYear W21135627762017 @default.
• W2113562776 countsByYear W21135627762020 @default.
• W2113562776 countsByYear W21135627762021 @default.
• W2113562776 crossrefType "book-chapter" @default.
• W2113562776 hasAuthorship W2113562776A5015149620 @default.
• W2113562776 hasAuthorship W2113562776A5024421847 @default.
• W2113562776 hasAuthorship W2113562776A5033465334 @default.
• W2113562776 hasAuthorship W2113562776A5056578480 @default.
• W2113562776 hasBestOaLocation W21135627762 @default.
• W2113562776 hasConcept C114614502 @default.
• W2113562776 hasConcept C128099668 @default.
• W2113562776 hasConcept C128838566 @default.
• W2113562776 hasConcept C165696696 @default.
• W2113562776 hasConcept C169590947 @default.
• W2113562776 hasConcept C199360897 @default.
• W2113562776 hasConcept C200833197 @default.
• W2113562776 hasConcept C2780624054 @default.
• W2113562776 hasConcept C33923547 @default.
• W2113562776 hasConcept C38652104 @default.
• W2113562776 hasConcept C41008148 @default.
• W2113562776 hasConcept C42383842 @default.
• W2113562776 hasConcept C54732982 @default.
• W2113562776 hasConcept C74193536 @default.
• W2113562776 hasConcept C80444323 @default.
• W2113562776 hasConcept C96146094 @default.
• W2113562776 hasConceptScore W2113562776C114614502 @default.
• W2113562776 hasConceptScore W2113562776C128099668 @default.
• W2113562776 hasConceptScore W2113562776C128838566 @default.
• W2113562776 hasConceptScore W2113562776C165696696 @default.
• W2113562776 hasConceptScore W2113562776C169590947 @default.
• W2113562776 hasConceptScore W2113562776C199360897 @default.
• W2113562776 hasConceptScore W2113562776C200833197 @default.
• W2113562776 hasConceptScore W2113562776C2780624054 @default.
• W2113562776 hasConceptScore W2113562776C33923547 @default.
• W2113562776 hasConceptScore W2113562776C38652104 @default.
• W2113562776 hasConceptScore W2113562776C41008148 @default.
• W2113562776 hasConceptScore W2113562776C42383842 @default.
• W2113562776 hasConceptScore W2113562776C54732982 @default.
• W2113562776 hasConceptScore W2113562776C74193536 @default.
• W2113562776 hasConceptScore W2113562776C80444323 @default.
• W2113562776 hasConceptScore W2113562776C96146094 @default.
• W2113562776 hasLocation W21135627761 @default.
• W2113562776 hasLocation W21135627762 @default.
• W2113562776 hasLocation W21135627763 @default.
• W2113562776 hasOpenAccess W2113562776 @default.
• W2113562776 hasPrimaryLocation W21135627761 @default.
• W2113562776 hasRelatedWork W135379672 @default.
• W2113562776 hasRelatedWork W1650673748 @default.
• W2113562776 hasRelatedWork W1757338326 @default.
• W2113562776 hasRelatedWork W2129129872 @default.
• W2113562776 hasRelatedWork W2177866842 @default.
• W2113562776 hasRelatedWork W2951358961 @default.
• W2113562776 hasRelatedWork W3006199460 @default.
• W2113562776 hasRelatedWork W4246781209 @default.
• W2113562776 hasRelatedWork W4248041368 @default.
• W2113562776 hasRelatedWork W2494565114 @default.
• W2113562776 isParatext "false" @default.
• W2113562776 isRetracted "false" @default.
• W2113562776 magId "2113562776" @default.

• next