Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112870880> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2112870880 endingPage "399" @default.
- W2112870880 startingPage "390" @default.
- W2112870880 abstract "The functional logic programming language Curry integrates features from functional, logic, and concurrent programming. It combines lazy evaluation, higher-order functions, logic variables, partial data structures, built-in search and the concurrent evaluation of (equational) constraints. Curry amalgamates the most important operational principles developed in the area of integrated functional logic languages: residuation and narrowing. The effects of non-determinism stemming from the narrowing semantics can be encapsulated using the primitive try operator. This is necessary to implement declarative I/O in the presence of non-deterministic computations and allows to implement different search strategies. In the present paper we develop an abstract machine for the implementation of Curry. The focus in this paper will be on the efficient implementation of encapsulated search in a lazy functional logic language." @default.
- W2112870880 created "2016-06-24" @default.
- W2112870880 creator A5041378004 @default.
- W2112870880 creator A5048747275 @default.
- W2112870880 date "1999-01-01" @default.
- W2112870880 modified "2023-10-18" @default.
- W2112870880 title "An Efficient Abstract Machine for Curry" @default.
- W2112870880 cites W1704104462 @default.
- W2112870880 cites W1965414594 @default.
- W2112870880 cites W2045353900 @default.
- W2112870880 cites W2059799630 @default.
- W2112870880 cites W2062950667 @default.
- W2112870880 cites W2161732792 @default.
- W2112870880 cites W2166822586 @default.
- W2112870880 cites W27834061 @default.
- W2112870880 doi "https://doi.org/10.1007/978-3-662-01069-3_58" @default.
- W2112870880 hasPublicationYear "1999" @default.
- W2112870880 type Work @default.
- W2112870880 sameAs 2112870880 @default.
- W2112870880 citedByCount "16" @default.
- W2112870880 countsByYear W21128708802023 @default.
- W2112870880 crossrefType "book-chapter" @default.
- W2112870880 hasAuthorship W2112870880A5041378004 @default.
- W2112870880 hasAuthorship W2112870880A5048747275 @default.
- W2112870880 hasConcept C104317684 @default.
- W2112870880 hasConcept C128838566 @default.
- W2112870880 hasConcept C158448853 @default.
- W2112870880 hasConcept C17020691 @default.
- W2112870880 hasConcept C185592680 @default.
- W2112870880 hasConcept C199360897 @default.
- W2112870880 hasConcept C2781029818 @default.
- W2112870880 hasConcept C41008148 @default.
- W2112870880 hasConcept C42383842 @default.
- W2112870880 hasConcept C55493867 @default.
- W2112870880 hasConcept C79678938 @default.
- W2112870880 hasConcept C80444323 @default.
- W2112870880 hasConcept C86339819 @default.
- W2112870880 hasConceptScore W2112870880C104317684 @default.
- W2112870880 hasConceptScore W2112870880C128838566 @default.
- W2112870880 hasConceptScore W2112870880C158448853 @default.
- W2112870880 hasConceptScore W2112870880C17020691 @default.
- W2112870880 hasConceptScore W2112870880C185592680 @default.
- W2112870880 hasConceptScore W2112870880C199360897 @default.
- W2112870880 hasConceptScore W2112870880C2781029818 @default.
- W2112870880 hasConceptScore W2112870880C41008148 @default.
- W2112870880 hasConceptScore W2112870880C42383842 @default.
- W2112870880 hasConceptScore W2112870880C55493867 @default.
- W2112870880 hasConceptScore W2112870880C79678938 @default.
- W2112870880 hasConceptScore W2112870880C80444323 @default.
- W2112870880 hasConceptScore W2112870880C86339819 @default.
- W2112870880 hasLocation W21128708801 @default.
- W2112870880 hasOpenAccess W2112870880 @default.
- W2112870880 hasPrimaryLocation W21128708801 @default.
- W2112870880 hasRelatedWork W1529069991 @default.
- W2112870880 hasRelatedWork W1571983596 @default.
- W2112870880 hasRelatedWork W205709654 @default.
- W2112870880 hasRelatedWork W2119156278 @default.
- W2112870880 hasRelatedWork W2151540855 @default.
- W2112870880 hasRelatedWork W2230132651 @default.
- W2112870880 hasRelatedWork W2294188101 @default.
- W2112870880 hasRelatedWork W4251484379 @default.
- W2112870880 hasRelatedWork W68427271 @default.
- W2112870880 hasRelatedWork W2525391896 @default.
- W2112870880 isParatext "false" @default.
- W2112870880 isRetracted "false" @default.
- W2112870880 magId "2112870880" @default.
- W2112870880 workType "book-chapter" @default.