FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2621223372> ?p ?o ?g. }

• W2621223372 abstract "Logic programming and programming are two declarative programming paradigms which rely on the identification of programs to theories, and program- ming to modeling. Execution models result from the operational interpretation of logical provability in programming, and of propagation in programming. However, the control of execution is crucial for the practicability of these schemes and extra-logical traits are thus added in those programming systems, with the classical slogans logic program = logical theory + control, constraint program = model + search.This thesis investigates execution models in which control and search can be shifted into the or the model, while preserving the semantics. The three parts of the thesis correspond to the three semantics equivalence that are showed: the first between two committed-choice forward-chaining languages, the second between programs and models, and the third between guard semantics in angelic settings. Each of these equivalence is constructive in the sense that there exists an encoding that enables the compilation from one of the paradigm to the other.First, we show that simple program transformations exist back and forth be- tween Constraint Handling Rules (CHR) and Linear Logic Concurrent Constraint (LLCC) languages, making them semantically equivalent even if syntactically dif- ferent, which closes the question of implementing a committed-choice semantics for LLCC by using CHR as kernel language.Secondly, we show that a wide variety of search procedures can be internalized in the model with a fixed enumeration strategy. Transforming search procedures into satisfaction problems presents several advantages: (1) it makes search strategies declarative and modeled as satisfaction problems; (2) it makes it possible to express search strategies in existing front-end modeling languages without any extension; (3) it opens up propagation algorithms to search constraints and to the implementation of novel search procedures based on propagation. This is illustrated with the design of the ClpZinc modeling language, with an angelic interpretation of Horn clauses which allows compilation to a reification-based kernel.Finally, in concurrent programming, committed-choice semantics create a hierarchy of non-equivalent semantics axed on the expressive power of synchronization mechanism. We show that the hierarchy of guard semantics col- lapses with angelic semantics, allowing the most primitive synchronization mechanism to encode all the others. The main consequence of this collapse is the identification of a kernel language, with a primitive synchronization mechanism and an elementary system which are sufficient to reconstruct the other forms of synchronizations and other systems as modules, in the software engineering sense." @default.
• W2621223372 created "2017-06-09" @default.
• W2621223372 creator A5078716669 @default.
• W2621223372 date "2015-12-17" @default.
• W2621223372 modified "2023-09-25" @default.
• W2621223372 title "Execution models for Constraint Programming: kernel language design through semantics equivalence." @default.
• W2621223372 hasPublicationYear "2015" @default.
• W2621223372 type Work @default.
• W2621223372 sameAs 2621223372 @default.
• W2621223372 citedByCount "0" @default.
• W2621223372 crossrefType "dissertation" @default.
• W2621223372 hasAuthorship W2621223372A5078716669 @default.
• W2621223372 hasConcept C105795698 @default.
• W2621223372 hasConcept C127001435 @default.
• W2621223372 hasConcept C128838566 @default.
• W2621223372 hasConcept C137631369 @default.
• W2621223372 hasConcept C146206909 @default.
• W2621223372 hasConcept C154945302 @default.
• W2621223372 hasConcept C156325763 @default.
• W2621223372 hasConcept C173404611 @default.
• W2621223372 hasConcept C176783269 @default.
• W2621223372 hasConcept C184337299 @default.
• W2621223372 hasConcept C199360897 @default.
• W2621223372 hasConcept C204306468 @default.
• W2621223372 hasConcept C207648694 @default.
• W2621223372 hasConcept C33923547 @default.
• W2621223372 hasConcept C34165917 @default.
• W2621223372 hasConcept C41008148 @default.
• W2621223372 hasConcept C44616089 @default.
• W2621223372 hasConcept C49937458 @default.
• W2621223372 hasConcept C50033165 @default.
• W2621223372 hasConcept C80444323 @default.
• W2621223372 hasConcept C89497691 @default.
• W2621223372 hasConcept C96315309 @default.
• W2621223372 hasConceptScore W2621223372C105795698 @default.
• W2621223372 hasConceptScore W2621223372C127001435 @default.
• W2621223372 hasConceptScore W2621223372C128838566 @default.
• W2621223372 hasConceptScore W2621223372C137631369 @default.
• W2621223372 hasConceptScore W2621223372C146206909 @default.
• W2621223372 hasConceptScore W2621223372C154945302 @default.
• W2621223372 hasConceptScore W2621223372C156325763 @default.
• W2621223372 hasConceptScore W2621223372C173404611 @default.
• W2621223372 hasConceptScore W2621223372C176783269 @default.
• W2621223372 hasConceptScore W2621223372C184337299 @default.
• W2621223372 hasConceptScore W2621223372C199360897 @default.
• W2621223372 hasConceptScore W2621223372C204306468 @default.
• W2621223372 hasConceptScore W2621223372C207648694 @default.
• W2621223372 hasConceptScore W2621223372C33923547 @default.
• W2621223372 hasConceptScore W2621223372C34165917 @default.
• W2621223372 hasConceptScore W2621223372C41008148 @default.
• W2621223372 hasConceptScore W2621223372C44616089 @default.
• W2621223372 hasConceptScore W2621223372C49937458 @default.
• W2621223372 hasConceptScore W2621223372C50033165 @default.
• W2621223372 hasConceptScore W2621223372C80444323 @default.
• W2621223372 hasConceptScore W2621223372C89497691 @default.
• W2621223372 hasConceptScore W2621223372C96315309 @default.
• W2621223372 hasLocation W26212233721 @default.
• W2621223372 hasOpenAccess W2621223372 @default.
• W2621223372 hasPrimaryLocation W26212233721 @default.
• W2621223372 hasRelatedWork W1503552388 @default.
• W2621223372 hasRelatedWork W1521375736 @default.
• W2621223372 hasRelatedWork W1525320924 @default.
• W2621223372 hasRelatedWork W1531748111 @default.
• W2621223372 hasRelatedWork W1596917824 @default.
• W2621223372 hasRelatedWork W1842630681 @default.
• W2621223372 hasRelatedWork W1854683928 @default.
• W2621223372 hasRelatedWork W1972712449 @default.
• W2621223372 hasRelatedWork W2008492266 @default.
• W2621223372 hasRelatedWork W2021519440 @default.
• W2621223372 hasRelatedWork W2022770502 @default.
• W2621223372 hasRelatedWork W2036315030 @default.
• W2621223372 hasRelatedWork W2058837981 @default.
• W2621223372 hasRelatedWork W2066534948 @default.
• W2621223372 hasRelatedWork W2102754233 @default.
• W2621223372 hasRelatedWork W2104245532 @default.
• W2621223372 hasRelatedWork W2156950788 @default.
• W2621223372 hasRelatedWork W3007295124 @default.
• W2621223372 hasRelatedWork W3081281523 @default.
• W2621223372 hasRelatedWork W3103318063 @default.
• W2621223372 isParatext "false" @default.
• W2621223372 isRetracted "false" @default.
• W2621223372 magId "2621223372" @default.
• W2621223372 workType "dissertation" @default.