Matches in SemOpenAlex for { <https://semopenalex.org/work/W2102643211> ?p ?o ?g. }
- W2102643211 endingPage "610" @default.
- W2102643211 startingPage "549" @default.
- W2102643211 abstract "This paper introduces a framework of parametric descriptive directional types for Constraint Logic Programming (CLP). It proposes a method for locating type errors in CLP programs, and presents a prototype debugging tool. The main technique used is checking correctness of programs w.r.t. type specifications. The approach is based on a generalization of known methods for proving the correctness of logic programs to the case of parametric specifications. Set constraint techniques are used for formulating and checking verification conditions for (parametric) polymorphic type specifications. The specifications are expressed in a parametric extension of the formalism of term grammars. The soundness of the method is proved, and the prototype debugging tool supporting the proposed approach is illustrated on examples. The paper is a substantial extension of the previous work by the same authors concerning monomorphic directional types." @default.
- W2102643211 created "2016-06-24" @default.
- W2102643211 creator A5062918023 @default.
- W2102643211 creator A5066576127 @default.
- W2102643211 creator A5043232032 @default.
- W2102643211 date "2002-07-01" @default.
- W2102643211 modified "2023-09-27" @default.
- W2102643211 title "Using parametric set constraints for locating errors in CLP programs" @default.
- W2102643211 cites W1278612252 @default.
- W2102643211 cites W130711549 @default.
- W2102643211 cites W1484125579 @default.
- W2102643211 cites W1485320411 @default.
- W2102643211 cites W1492803714 @default.
- W2102643211 cites W1495218583 @default.
- W2102643211 cites W1521171921 @default.
- W2102643211 cites W1527187705 @default.
- W2102643211 cites W1530717542 @default.
- W2102643211 cites W1531074043 @default.
- W2102643211 cites W1532363834 @default.
- W2102643211 cites W1532529131 @default.
- W2102643211 cites W1541434994 @default.
- W2102643211 cites W1544096846 @default.
- W2102643211 cites W1556018967 @default.
- W2102643211 cites W1562575382 @default.
- W2102643211 cites W1579672261 @default.
- W2102643211 cites W159226319 @default.
- W2102643211 cites W1593799327 @default.
- W2102643211 cites W1597918680 @default.
- W2102643211 cites W1598816868 @default.
- W2102643211 cites W1616475887 @default.
- W2102643211 cites W171682210 @default.
- W2102643211 cites W1735499966 @default.
- W2102643211 cites W17610430 @default.
- W2102643211 cites W1795067865 @default.
- W2102643211 cites W1810308530 @default.
- W2102643211 cites W1965825795 @default.
- W2102643211 cites W1982243747 @default.
- W2102643211 cites W1988095917 @default.
- W2102643211 cites W1992343119 @default.
- W2102643211 cites W2002089154 @default.
- W2102643211 cites W202590952 @default.
- W2102643211 cites W2033405134 @default.
- W2102643211 cites W2037439718 @default.
- W2102643211 cites W2038037493 @default.
- W2102643211 cites W2047050741 @default.
- W2102643211 cites W2061268302 @default.
- W2102643211 cites W2069076448 @default.
- W2102643211 cites W2073166886 @default.
- W2102643211 cites W2076696436 @default.
- W2102643211 cites W2080286813 @default.
- W2102643211 cites W2081810835 @default.
- W2102643211 cites W2091776887 @default.
- W2102643211 cites W2094612221 @default.
- W2102643211 cites W2098303102 @default.
- W2102643211 cites W2103933902 @default.
- W2102643211 cites W2115656500 @default.
- W2102643211 cites W2118483018 @default.
- W2102643211 cites W2180114379 @default.
- W2102643211 cites W2611581806 @default.
- W2102643211 cites W31561947 @default.
- W2102643211 cites W63829728 @default.
- W2102643211 cites W99535058 @default.
- W2102643211 cites W2590615004 @default.
- W2102643211 doi "https://doi.org/10.1017/s1471068402001473" @default.
- W2102643211 hasPublicationYear "2002" @default.
- W2102643211 type Work @default.
- W2102643211 sameAs 2102643211 @default.
- W2102643211 citedByCount "9" @default.
- W2102643211 countsByYear W21026432112022 @default.
- W2102643211 crossrefType "journal-article" @default.
- W2102643211 hasAuthorship W2102643211A5043232032 @default.
- W2102643211 hasAuthorship W2102643211A5062918023 @default.
- W2102643211 hasAuthorship W2102643211A5066576127 @default.
- W2102643211 hasBestOaLocation W21026432112 @default.
- W2102643211 hasConcept C105795698 @default.
- W2102643211 hasConcept C11413529 @default.
- W2102643211 hasConcept C117251300 @default.
- W2102643211 hasConcept C136388014 @default.
- W2102643211 hasConcept C168065819 @default.
- W2102643211 hasConcept C177264268 @default.
- W2102643211 hasConcept C199360897 @default.
- W2102643211 hasConcept C2776045410 @default.
- W2102643211 hasConcept C33923547 @default.
- W2102643211 hasConcept C39920170 @default.
- W2102643211 hasConcept C41008148 @default.
- W2102643211 hasConcept C55439883 @default.
- W2102643211 hasConcept C80444323 @default.
- W2102643211 hasConceptScore W2102643211C105795698 @default.
- W2102643211 hasConceptScore W2102643211C11413529 @default.
- W2102643211 hasConceptScore W2102643211C117251300 @default.
- W2102643211 hasConceptScore W2102643211C136388014 @default.
- W2102643211 hasConceptScore W2102643211C168065819 @default.
- W2102643211 hasConceptScore W2102643211C177264268 @default.
- W2102643211 hasConceptScore W2102643211C199360897 @default.
- W2102643211 hasConceptScore W2102643211C2776045410 @default.
- W2102643211 hasConceptScore W2102643211C33923547 @default.
- W2102643211 hasConceptScore W2102643211C39920170 @default.
- W2102643211 hasConceptScore W2102643211C41008148 @default.