Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387645401> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W4387645401 endingPage "205" @default.
- W4387645401 startingPage "190" @default.
- W4387645401 abstract "We introduce the framework FreeCHR which formalizes the embedding of Constraint Handling Rules (CHR) into a host language, using the concept of initial algebra semantics from category theory, to establish a high-level implementation scheme for CHR as well as a common formalization for both theory and practice. We propose a lifting of the syntax of CHR via an endofunctor in the category Set and a lifting of the very abstract operational semantics of CHR into FreeCHR, using the free algebra, generated by the endofunctor and give proofs for soundness and completeness w.r.t. their original definition." @default.
- W4387645401 created "2023-10-15" @default.
- W4387645401 creator A5032517478 @default.
- W4387645401 creator A5040939986 @default.
- W4387645401 date "2023-01-01" @default.
- W4387645401 modified "2023-10-15" @default.
- W4387645401 title "FreeCHR: An Algebraic Framework for CHR-Embeddings" @default.
- W4387645401 cites W1110993702 @default.
- W4387645401 cites W1498867194 @default.
- W4387645401 cites W1518466123 @default.
- W4387645401 cites W1527090010 @default.
- W4387645401 cites W1535632716 @default.
- W4387645401 cites W1587429676 @default.
- W4387645401 cites W1839902311 @default.
- W4387645401 cites W1971397162 @default.
- W4387645401 cites W1997697966 @default.
- W4387645401 cites W2101757655 @default.
- W4387645401 cites W2107415004 @default.
- W4387645401 cites W2109567132 @default.
- W4387645401 cites W2138701537 @default.
- W4387645401 cites W2752727877 @default.
- W4387645401 cites W2888529970 @default.
- W4387645401 cites W4234159174 @default.
- W4387645401 cites W4301190224 @default.
- W4387645401 cites W4379258800 @default.
- W4387645401 doi "https://doi.org/10.1007/978-3-031-45072-3_14" @default.
- W4387645401 hasPublicationYear "2023" @default.
- W4387645401 type Work @default.
- W4387645401 citedByCount "0" @default.
- W4387645401 crossrefType "book-chapter" @default.
- W4387645401 hasAuthorship W4387645401A5032517478 @default.
- W4387645401 hasAuthorship W4387645401A5040939986 @default.
- W4387645401 hasConcept C108710211 @default.
- W4387645401 hasConcept C118615104 @default.
- W4387645401 hasConcept C134306372 @default.
- W4387645401 hasConcept C135315306 @default.
- W4387645401 hasConcept C136119220 @default.
- W4387645401 hasConcept C154945302 @default.
- W4387645401 hasConcept C156325763 @default.
- W4387645401 hasConcept C156772000 @default.
- W4387645401 hasConcept C17231256 @default.
- W4387645401 hasConcept C177264268 @default.
- W4387645401 hasConcept C184337299 @default.
- W4387645401 hasConcept C188971069 @default.
- W4387645401 hasConcept C199360897 @default.
- W4387645401 hasConcept C200116569 @default.
- W4387645401 hasConcept C202444582 @default.
- W4387645401 hasConcept C2524010 @default.
- W4387645401 hasConcept C2779729104 @default.
- W4387645401 hasConcept C33923547 @default.
- W4387645401 hasConcept C39920170 @default.
- W4387645401 hasConcept C41008148 @default.
- W4387645401 hasConcept C41608201 @default.
- W4387645401 hasConcept C60048249 @default.
- W4387645401 hasConcept C80444323 @default.
- W4387645401 hasConcept C9376300 @default.
- W4387645401 hasConceptScore W4387645401C108710211 @default.
- W4387645401 hasConceptScore W4387645401C118615104 @default.
- W4387645401 hasConceptScore W4387645401C134306372 @default.
- W4387645401 hasConceptScore W4387645401C135315306 @default.
- W4387645401 hasConceptScore W4387645401C136119220 @default.
- W4387645401 hasConceptScore W4387645401C154945302 @default.
- W4387645401 hasConceptScore W4387645401C156325763 @default.
- W4387645401 hasConceptScore W4387645401C156772000 @default.
- W4387645401 hasConceptScore W4387645401C17231256 @default.
- W4387645401 hasConceptScore W4387645401C177264268 @default.
- W4387645401 hasConceptScore W4387645401C184337299 @default.
- W4387645401 hasConceptScore W4387645401C188971069 @default.
- W4387645401 hasConceptScore W4387645401C199360897 @default.
- W4387645401 hasConceptScore W4387645401C200116569 @default.
- W4387645401 hasConceptScore W4387645401C202444582 @default.
- W4387645401 hasConceptScore W4387645401C2524010 @default.
- W4387645401 hasConceptScore W4387645401C2779729104 @default.
- W4387645401 hasConceptScore W4387645401C33923547 @default.
- W4387645401 hasConceptScore W4387645401C39920170 @default.
- W4387645401 hasConceptScore W4387645401C41008148 @default.
- W4387645401 hasConceptScore W4387645401C41608201 @default.
- W4387645401 hasConceptScore W4387645401C60048249 @default.
- W4387645401 hasConceptScore W4387645401C80444323 @default.
- W4387645401 hasConceptScore W4387645401C9376300 @default.
- W4387645401 hasLocation W43876454011 @default.
- W4387645401 hasOpenAccess W4387645401 @default.
- W4387645401 hasPrimaryLocation W43876454011 @default.
- W4387645401 hasRelatedWork W2047222889 @default.
- W4387645401 hasRelatedWork W207043953 @default.
- W4387645401 hasRelatedWork W2083792687 @default.
- W4387645401 hasRelatedWork W2106221267 @default.
- W4387645401 hasRelatedWork W2135048208 @default.
- W4387645401 hasRelatedWork W2167838019 @default.
- W4387645401 hasRelatedWork W2171004374 @default.
- W4387645401 hasRelatedWork W2487055703 @default.
- W4387645401 hasRelatedWork W2807761056 @default.
- W4387645401 hasRelatedWork W2899892155 @default.
- W4387645401 isParatext "false" @default.
- W4387645401 isRetracted "false" @default.
- W4387645401 workType "book-chapter" @default.