Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109567132> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2109567132 endingPage "89" @default.
- W2109567132 startingPage "74" @default.
- W2109567132 abstract "Constraint Handling Rules (CHR) is a rule-based language to specify application-oriented constraint solvers. CHR requires a host language that provides the basic constraints used in a CHR program. In this paper, we argue that an integrated functional logic language like Curry is an appropriate host language for CHR since it supports a natural formulation of constraint handling rules and a seamless integration into a typed environment. As a proof of concept, we describe CHR(Curry), an integration of CHR into Curry, together with two implementations. The first is an interpreter of CHR’s refined operational semantics implemented in Curry, and the second compiles CHR rules into Prolog which can be directly used in Prolog-based Curry implementations, such as PAKCS." @default.
- W2109567132 created "2016-06-24" @default.
- W2109567132 creator A5024421847 @default.
- W2109567132 date "2015-01-01" @default.
- W2109567132 modified "2023-10-15" @default.
- W2109567132 title "CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry" @default.
- W2109567132 cites W1486941949 @default.
- W2109567132 cites W1498867194 @default.
- W2109567132 cites W1508237628 @default.
- W2109567132 cites W1508922656 @default.
- W2109567132 cites W1522154830 @default.
- W2109567132 cites W1525320924 @default.
- W2109567132 cites W1533650456 @default.
- W2109567132 cites W1549917467 @default.
- W2109567132 cites W1589232796 @default.
- W2109567132 cites W1880050370 @default.
- W2109567132 cites W2019417713 @default.
- W2109567132 cites W2022647944 @default.
- W2109567132 cites W2079333278 @default.
- W2109567132 cites W2087404516 @default.
- W2109567132 cites W2091033850 @default.
- W2109567132 cites W2107415004 @default.
- W2109567132 cites W2112087718 @default.
- W2109567132 cites W2118499864 @default.
- W2109567132 cites W2123396057 @default.
- W2109567132 cites W2127844749 @default.
- W2109567132 cites W2163976959 @default.
- W2109567132 cites W3106044157 @default.
- W2109567132 cites W68427271 @default.
- W2109567132 doi "https://doi.org/10.1007/978-3-319-19686-2_6" @default.
- W2109567132 hasPublicationYear "2015" @default.
- W2109567132 type Work @default.
- W2109567132 sameAs 2109567132 @default.
- W2109567132 citedByCount "0" @default.
- W2109567132 crossrefType "book-chapter" @default.
- W2109567132 hasAuthorship W2109567132A5024421847 @default.
- W2109567132 hasBestOaLocation W21095671322 @default.
- W2109567132 hasConcept C122783720 @default.
- W2109567132 hasConcept C128838566 @default.
- W2109567132 hasConcept C156325763 @default.
- W2109567132 hasConcept C184337299 @default.
- W2109567132 hasConcept C199360897 @default.
- W2109567132 hasConcept C2524010 @default.
- W2109567132 hasConcept C26713055 @default.
- W2109567132 hasConcept C2776036281 @default.
- W2109567132 hasConcept C2781029818 @default.
- W2109567132 hasConcept C33923547 @default.
- W2109567132 hasConcept C41008148 @default.
- W2109567132 hasConcept C527412718 @default.
- W2109567132 hasConcept C79678938 @default.
- W2109567132 hasConcept C80444323 @default.
- W2109567132 hasConcept C81721847 @default.
- W2109567132 hasConceptScore W2109567132C122783720 @default.
- W2109567132 hasConceptScore W2109567132C128838566 @default.
- W2109567132 hasConceptScore W2109567132C156325763 @default.
- W2109567132 hasConceptScore W2109567132C184337299 @default.
- W2109567132 hasConceptScore W2109567132C199360897 @default.
- W2109567132 hasConceptScore W2109567132C2524010 @default.
- W2109567132 hasConceptScore W2109567132C26713055 @default.
- W2109567132 hasConceptScore W2109567132C2776036281 @default.
- W2109567132 hasConceptScore W2109567132C2781029818 @default.
- W2109567132 hasConceptScore W2109567132C33923547 @default.
- W2109567132 hasConceptScore W2109567132C41008148 @default.
- W2109567132 hasConceptScore W2109567132C527412718 @default.
- W2109567132 hasConceptScore W2109567132C79678938 @default.
- W2109567132 hasConceptScore W2109567132C80444323 @default.
- W2109567132 hasConceptScore W2109567132C81721847 @default.
- W2109567132 hasLocation W21095671321 @default.
- W2109567132 hasLocation W21095671322 @default.
- W2109567132 hasOpenAccess W2109567132 @default.
- W2109567132 hasPrimaryLocation W21095671321 @default.
- W2109567132 hasRelatedWork W1451257547 @default.
- W2109567132 hasRelatedWork W1481700938 @default.
- W2109567132 hasRelatedWork W1486947786 @default.
- W2109567132 hasRelatedWork W1517707660 @default.
- W2109567132 hasRelatedWork W1536504689 @default.
- W2109567132 hasRelatedWork W1558467648 @default.
- W2109567132 hasRelatedWork W1849174213 @default.
- W2109567132 hasRelatedWork W1999702466 @default.
- W2109567132 hasRelatedWork W2741053223 @default.
- W2109567132 hasRelatedWork W176405751 @default.
- W2109567132 isParatext "false" @default.
- W2109567132 isRetracted "false" @default.
- W2109567132 magId "2109567132" @default.
- W2109567132 workType "book-chapter" @default.