Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045796613> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2045796613 endingPage "36" @default.
- W2045796613 startingPage "1" @default.
- W2045796613 abstract "Constraint Handling Rules (CHR) is a committed-choice declarative language which has been designed for writing constraint solvers. A CHR program consists of multiheaded guarded rules which allow to rewrite constraints into simpler ones until a solved form is reached. CHR has received considerable attention, both from the practical and from the theoretical side. Nevertheless, due the use of multiheaded clauses, there are several aspects of the CHR semantics which have not been clarified yet. In particular, no compositional semantics for CHR has been defined so far. In this article we introduce a fix-point semantics which characterizes the input/output behavior of a CHR program and which is and-compositional, that is, which allows to retrieve the semantics of a conjunctive query from the semantics of its components. Such a semantics can be used as a basis to define incremental and modular analysis and verification tools." @default.
- W2045796613 created "2016-06-24" @default.
- W2045796613 creator A5025039355 @default.
- W2045796613 creator A5028249343 @default.
- W2045796613 date "2009-02-01" @default.
- W2045796613 modified "2023-09-27" @default.
- W2045796613 title "A compositional semantics for CHR" @default.
- W2045796613 cites W1499633535 @default.
- W2045796613 cites W1515441675 @default.
- W2045796613 cites W1975923086 @default.
- W2045796613 cites W1981281472 @default.
- W2045796613 cites W2002343112 @default.
- W2045796613 cites W2006668087 @default.
- W2045796613 cites W2030368531 @default.
- W2045796613 cites W2044706372 @default.
- W2045796613 cites W2079333278 @default.
- W2045796613 cites W2134400899 @default.
- W2045796613 doi "https://doi.org/10.1145/1462179.1462183" @default.
- W2045796613 hasPublicationYear "2009" @default.
- W2045796613 type Work @default.
- W2045796613 sameAs 2045796613 @default.
- W2045796613 citedByCount "4" @default.
- W2045796613 countsByYear W20457966132015 @default.
- W2045796613 crossrefType "journal-article" @default.
- W2045796613 hasAuthorship W2045796613A5025039355 @default.
- W2045796613 hasAuthorship W2045796613A5028249343 @default.
- W2045796613 hasBestOaLocation W20457966132 @default.
- W2045796613 hasConcept C101468663 @default.
- W2045796613 hasConcept C150607116 @default.
- W2045796613 hasConcept C156325763 @default.
- W2045796613 hasConcept C184337299 @default.
- W2045796613 hasConcept C199360897 @default.
- W2045796613 hasConcept C200065993 @default.
- W2045796613 hasConcept C207648694 @default.
- W2045796613 hasConcept C2524010 @default.
- W2045796613 hasConcept C2776036281 @default.
- W2045796613 hasConcept C33923547 @default.
- W2045796613 hasConcept C41008148 @default.
- W2045796613 hasConcept C80444323 @default.
- W2045796613 hasConcept C89497691 @default.
- W2045796613 hasConceptScore W2045796613C101468663 @default.
- W2045796613 hasConceptScore W2045796613C150607116 @default.
- W2045796613 hasConceptScore W2045796613C156325763 @default.
- W2045796613 hasConceptScore W2045796613C184337299 @default.
- W2045796613 hasConceptScore W2045796613C199360897 @default.
- W2045796613 hasConceptScore W2045796613C200065993 @default.
- W2045796613 hasConceptScore W2045796613C207648694 @default.
- W2045796613 hasConceptScore W2045796613C2524010 @default.
- W2045796613 hasConceptScore W2045796613C2776036281 @default.
- W2045796613 hasConceptScore W2045796613C33923547 @default.
- W2045796613 hasConceptScore W2045796613C41008148 @default.
- W2045796613 hasConceptScore W2045796613C80444323 @default.
- W2045796613 hasConceptScore W2045796613C89497691 @default.
- W2045796613 hasIssue "2" @default.
- W2045796613 hasLocation W20457966131 @default.
- W2045796613 hasLocation W20457966132 @default.
- W2045796613 hasOpenAccess W2045796613 @default.
- W2045796613 hasPrimaryLocation W20457966131 @default.
- W2045796613 hasRelatedWork W1822389052 @default.
- W2045796613 hasRelatedWork W2017152877 @default.
- W2045796613 hasRelatedWork W2738461706 @default.
- W2045796613 hasRelatedWork W2804733059 @default.
- W2045796613 hasRelatedWork W3139603584 @default.
- W2045796613 hasRelatedWork W3163637575 @default.
- W2045796613 hasRelatedWork W3197740044 @default.
- W2045796613 hasRelatedWork W75631880 @default.
- W2045796613 hasRelatedWork W783270985 @default.
- W2045796613 hasRelatedWork W1958334269 @default.
- W2045796613 hasVolume "10" @default.
- W2045796613 isParatext "false" @default.
- W2045796613 isRetracted "false" @default.
- W2045796613 magId "2045796613" @default.
- W2045796613 workType "article" @default.