Matches in SemOpenAlex for { <https://semopenalex.org/work/W2888125526> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2888125526 abstract "Confluence of a nondeterministic program ensures a functional input-output relation, freeing the programmer from considering the actual scheduling strategy, and allowing optimized and perhaps parallel implementations. The more general property of confluence modulo equivalence ensures that equivalent inputs are related to equivalent outputs, that need not be identical. Confluence under invariants is also considered. Constraint Handling Rules (CHR) is an important example of a rewrite based logic programming language, and we aim at a mechanizable method for proving confluence modulo equivalence of terminating programs. While earlier approaches to confluence for CHR programs concern an idealized logic subset, we refer to a semantics compatible with standard Prolog-based implementations. We specify a meta-level constraint language in which invariants and equivalences can be expressed and manipulated, extending our previous theoretical results towards a practical implementation." @default.
- W2888125526 created "2018-08-31" @default.
- W2888125526 creator A5021255849 @default.
- W2888125526 creator A5034230236 @default.
- W2888125526 date "2018-08-24" @default.
- W2888125526 modified "2023-09-27" @default.
- W2888125526 title "Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs" @default.
- W2888125526 cites W146100567 @default.
- W2888125526 cites W1499633535 @default.
- W2888125526 cites W1566707600 @default.
- W2888125526 cites W1605034197 @default.
- W2888125526 cites W1979101142 @default.
- W2888125526 cites W1988103858 @default.
- W2888125526 cites W2079333278 @default.
- W2888125526 cites W2570710533 @default.
- W2888125526 cites W2902618432 @default.
- W2888125526 cites W43244340 @default.
- W2888125526 hasPublicationYear "2018" @default.
- W2888125526 type Work @default.
- W2888125526 sameAs 2888125526 @default.
- W2888125526 citedByCount "0" @default.
- W2888125526 crossrefType "posted-content" @default.
- W2888125526 hasAuthorship W2888125526A5021255849 @default.
- W2888125526 hasAuthorship W2888125526A5034230236 @default.
- W2888125526 hasConcept C118615104 @default.
- W2888125526 hasConcept C128838566 @default.
- W2888125526 hasConcept C156325763 @default.
- W2888125526 hasConcept C176181172 @default.
- W2888125526 hasConcept C184337299 @default.
- W2888125526 hasConcept C190470478 @default.
- W2888125526 hasConcept C199360897 @default.
- W2888125526 hasConcept C26713055 @default.
- W2888125526 hasConcept C2778514511 @default.
- W2888125526 hasConcept C2780069185 @default.
- W2888125526 hasConcept C33923547 @default.
- W2888125526 hasConcept C37914503 @default.
- W2888125526 hasConcept C41008148 @default.
- W2888125526 hasConcept C54732982 @default.
- W2888125526 hasConcept C70846408 @default.
- W2888125526 hasConcept C77906462 @default.
- W2888125526 hasConcept C80444323 @default.
- W2888125526 hasConcept C81721847 @default.
- W2888125526 hasConceptScore W2888125526C118615104 @default.
- W2888125526 hasConceptScore W2888125526C128838566 @default.
- W2888125526 hasConceptScore W2888125526C156325763 @default.
- W2888125526 hasConceptScore W2888125526C176181172 @default.
- W2888125526 hasConceptScore W2888125526C184337299 @default.
- W2888125526 hasConceptScore W2888125526C190470478 @default.
- W2888125526 hasConceptScore W2888125526C199360897 @default.
- W2888125526 hasConceptScore W2888125526C26713055 @default.
- W2888125526 hasConceptScore W2888125526C2778514511 @default.
- W2888125526 hasConceptScore W2888125526C2780069185 @default.
- W2888125526 hasConceptScore W2888125526C33923547 @default.
- W2888125526 hasConceptScore W2888125526C37914503 @default.
- W2888125526 hasConceptScore W2888125526C41008148 @default.
- W2888125526 hasConceptScore W2888125526C54732982 @default.
- W2888125526 hasConceptScore W2888125526C70846408 @default.
- W2888125526 hasConceptScore W2888125526C77906462 @default.
- W2888125526 hasConceptScore W2888125526C80444323 @default.
- W2888125526 hasConceptScore W2888125526C81721847 @default.
- W2888125526 hasLocation W28881255261 @default.
- W2888125526 hasOpenAccess W2888125526 @default.
- W2888125526 hasPrimaryLocation W28881255261 @default.
- W2888125526 hasRelatedWork W1469104086 @default.
- W2888125526 hasRelatedWork W1846507946 @default.
- W2888125526 hasRelatedWork W1973827570 @default.
- W2888125526 hasRelatedWork W1994179113 @default.
- W2888125526 hasRelatedWork W2023055783 @default.
- W2888125526 hasRelatedWork W2027825679 @default.
- W2888125526 hasRelatedWork W2030167467 @default.
- W2888125526 hasRelatedWork W2035910535 @default.
- W2888125526 hasRelatedWork W2043140417 @default.
- W2888125526 hasRelatedWork W2045750726 @default.
- W2888125526 hasRelatedWork W2071142966 @default.
- W2888125526 hasRelatedWork W2100622236 @default.
- W2888125526 hasRelatedWork W2244978453 @default.
- W2888125526 hasRelatedWork W2406205129 @default.
- W2888125526 hasRelatedWork W2740345056 @default.
- W2888125526 hasRelatedWork W2911798367 @default.
- W2888125526 hasRelatedWork W2950404109 @default.
- W2888125526 hasRelatedWork W3103318063 @default.
- W2888125526 hasRelatedWork W312152708 @default.
- W2888125526 hasRelatedWork W3207121611 @default.
- W2888125526 isParatext "false" @default.
- W2888125526 isRetracted "false" @default.
- W2888125526 magId "2888125526" @default.
- W2888125526 workType "article" @default.