FRINK Linked Data Fragments server

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

• W2406205129 endingPage "50" @default.
• W2406205129 startingPage "43" @default.
• W2406205129 abstract "Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Since the basic operational step in program execution is a test for solvability of constraints in a given algebraic structure, CLP has in addition an algebraic semantics. CLP is then a general paradigm which may be instantiated on various semantic domains, thus achieving a good expressive power. One relevant feature is the distinction between testing for solvability and computing a solution of a given constraint formula. In the logic programming case, this corresponds to the unification process, which tests for solvability by computing a solution (a set of equations in solved form or most general unifier). In CLP, the computation of a solution of a constraint is left to a constraint solver, which does not affect the semantic definition of the language. This allows different computational domains, e.g. real arithmetic, to be considered without requiring complicated encodings of data objects as first order terms. Since the fundamental linguistic aspects of CLP can be separated from the details specific to particular constraint systems, it seems natural to parameterize the semantics of CLP languages with respect to the underlying constraint system [16]. For example, considering a domain of “abstract constraints” instead of the “concrete constraints” that are actually manipulated during program execution, we obtain for free a formal treatment of abstract interpretation of CLP programs: this provides a foundation for dataflow analysis and program manipulation of CLP programs." @default.
• W2406205129 created "2016-06-24" @default.
• W2406205129 creator A5027303462 @default.
• W2406205129 creator A5052881133 @default.
• W2406205129 creator A5057370941 @default.
• W2406205129 date "1992-01-01" @default.
• W2406205129 modified "2023-09-28" @default.
• W2406205129 title "Static Analysis of CLP Programs over Numeric Domains." @default.
• W2406205129 cites W1507556611 @default.
• W2406205129 cites W1996325171 @default.
• W2406205129 cites W200979903 @default.
• W2406205129 cites W2037690395 @default.
• W2406205129 cites W2042619750 @default.
• W2406205129 cites W2043100293 @default.
• W2406205129 cites W2060498389 @default.
• W2406205129 cites W2069683773 @default.
• W2406205129 cites W2097699872 @default.
• W2406205129 cites W2123396057 @default.
• W2406205129 cites W2126594562 @default.
• W2406205129 cites W2135432705 @default.
• W2406205129 cites W2161484642 @default.
• W2406205129 cites W2164297069 @default.
• W2406205129 cites W70302230 @default.
• W2406205129 hasPublicationYear "1992" @default.
• W2406205129 type Work @default.
• W2406205129 sameAs 2406205129 @default.
• W2406205129 citedByCount "5" @default.
• W2406205129 crossrefType "journal-article" @default.
• W2406205129 hasAuthorship W2406205129A5027303462 @default.
• W2406205129 hasAuthorship W2406205129A5052881133 @default.
• W2406205129 hasAuthorship W2406205129A5057370941 @default.
• W2406205129 hasConcept C126255220 @default.
• W2406205129 hasConcept C128838566 @default.
• W2406205129 hasConcept C137631369 @default.
• W2406205129 hasConcept C154945302 @default.
• W2406205129 hasConcept C173404611 @default.
• W2406205129 hasConcept C176783269 @default.
• W2406205129 hasConcept C184337299 @default.
• W2406205129 hasConcept C199360897 @default.
• W2406205129 hasConcept C204306468 @default.
• W2406205129 hasConcept C2524010 @default.
• W2406205129 hasConcept C2776036281 @default.
• W2406205129 hasConcept C2780654840 @default.
• W2406205129 hasConcept C33923547 @default.
• W2406205129 hasConcept C34165917 @default.
• W2406205129 hasConcept C41008148 @default.
• W2406205129 hasConcept C44616089 @default.
• W2406205129 hasConcept C49937458 @default.
• W2406205129 hasConcept C50033165 @default.
• W2406205129 hasConcept C80444323 @default.
• W2406205129 hasConcept C96315309 @default.
• W2406205129 hasConcept C96324660 @default.
• W2406205129 hasConceptScore W2406205129C126255220 @default.
• W2406205129 hasConceptScore W2406205129C128838566 @default.
• W2406205129 hasConceptScore W2406205129C137631369 @default.
• W2406205129 hasConceptScore W2406205129C154945302 @default.
• W2406205129 hasConceptScore W2406205129C173404611 @default.
• W2406205129 hasConceptScore W2406205129C176783269 @default.
• W2406205129 hasConceptScore W2406205129C184337299 @default.
• W2406205129 hasConceptScore W2406205129C199360897 @default.
• W2406205129 hasConceptScore W2406205129C204306468 @default.
• W2406205129 hasConceptScore W2406205129C2524010 @default.
• W2406205129 hasConceptScore W2406205129C2776036281 @default.
• W2406205129 hasConceptScore W2406205129C2780654840 @default.
• W2406205129 hasConceptScore W2406205129C33923547 @default.
• W2406205129 hasConceptScore W2406205129C34165917 @default.
• W2406205129 hasConceptScore W2406205129C41008148 @default.
• W2406205129 hasConceptScore W2406205129C44616089 @default.
• W2406205129 hasConceptScore W2406205129C49937458 @default.
• W2406205129 hasConceptScore W2406205129C50033165 @default.
• W2406205129 hasConceptScore W2406205129C80444323 @default.
• W2406205129 hasConceptScore W2406205129C96315309 @default.
• W2406205129 hasConceptScore W2406205129C96324660 @default.
• W2406205129 hasLocation W24062051291 @default.
• W2406205129 hasOpenAccess W2406205129 @default.
• W2406205129 hasPrimaryLocation W24062051291 @default.
• W2406205129 hasRelatedWork W1549040679 @default.
• W2406205129 hasRelatedWork W1581559774 @default.
• W2406205129 hasRelatedWork W1863636468 @default.
• W2406205129 hasRelatedWork W200979903 @default.
• W2406205129 hasRelatedWork W2014764321 @default.
• W2406205129 hasRelatedWork W2027825679 @default.
• W2406205129 hasRelatedWork W2042619750 @default.
• W2406205129 hasRelatedWork W2043100293 @default.
• W2406205129 hasRelatedWork W2043140417 @default.
• W2406205129 hasRelatedWork W2060498389 @default.
• W2406205129 hasRelatedWork W2102329872 @default.
• W2406205129 hasRelatedWork W2121921022 @default.
• W2406205129 hasRelatedWork W2123396057 @default.
• W2406205129 hasRelatedWork W2126594562 @default.
• W2406205129 hasRelatedWork W2132661148 @default.
• W2406205129 hasRelatedWork W2135905640 @default.
• W2406205129 hasRelatedWork W2161484642 @default.
• W2406205129 hasRelatedWork W2164297069 @default.
• W2406205129 hasRelatedWork W2566245743 @default.
• W2406205129 hasRelatedWork W3103318063 @default.
• W2406205129 isParatext "false" @default.
• W2406205129 isRetracted "false" @default.

• next