Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073166886> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2073166886 endingPage "234" @default.
- W2073166886 startingPage "215" @default.
- W2073166886 abstract "The paper presents a diagnosis tool for CLP programs. It deals with partial correctness w.r.t. specifications which describe procedure calls and successes. The space of possible specifications is restricted to a kind of regular types; we propose a generalization of the concept of types used in so called descriptive typing of logic programs. In particular we distinguish ground types from those containing non-ground elements. The tool is able to automatically locate at compile time all errors in a program, this means all the clauses or clause prefixes responsible for the program being incorrect w.r.t. a given specification. The tool aids the user in constructing specifications incrementally; often a fragment of the specification is already sufficient to locate an error. Our prototype is specialized for the programming language CHIP, but the idea is applicable to any untyped CLP (and LP) language. We believe that the presented approach makes it possible to combine the advantages of typed and untyped programming languages." @default.
- W2073166886 created "2016-06-24" @default.
- W2073166886 creator A5062918023 @default.
- W2073166886 creator A5066576127 @default.
- W2073166886 creator A5043232032 @default.
- W2073166886 date "2000-04-01" @default.
- W2073166886 modified "2023-09-27" @default.
- W2073166886 title "Type-based Diagnosis of CLP Programs" @default.
- W2073166886 cites W1278612252 @default.
- W2073166886 cites W1484125579 @default.
- W2073166886 cites W1485320411 @default.
- W2073166886 cites W1495218583 @default.
- W2073166886 cites W14971117 @default.
- W2073166886 cites W1514468887 @default.
- W2073166886 cites W1530717542 @default.
- W2073166886 cites W1532363834 @default.
- W2073166886 cites W1532795106 @default.
- W2073166886 cites W1541434994 @default.
- W2073166886 cites W1562575382 @default.
- W2073166886 cites W1579672261 @default.
- W2073166886 cites W1584587517 @default.
- W2073166886 cites W1589232796 @default.
- W2073166886 cites W159226319 @default.
- W2073166886 cites W17610430 @default.
- W2073166886 cites W1795067865 @default.
- W2073166886 cites W2027026606 @default.
- W2073166886 cites W2038037493 @default.
- W2073166886 cites W2068981034 @default.
- W2073166886 cites W2094612221 @default.
- W2073166886 cites W2118483018 @default.
- W2073166886 cites W2886271628 @default.
- W2073166886 cites W2911295106 @default.
- W2073166886 cites W2951168407 @default.
- W2073166886 cites W95576201 @default.
- W2073166886 doi "https://doi.org/10.1016/s1571-0661(05)80659-0" @default.
- W2073166886 hasPublicationYear "2000" @default.
- W2073166886 type Work @default.
- W2073166886 sameAs 2073166886 @default.
- W2073166886 citedByCount "3" @default.
- W2073166886 countsByYear W20731668862022 @default.
- W2073166886 crossrefType "journal-article" @default.
- W2073166886 hasAuthorship W2073166886A5043232032 @default.
- W2073166886 hasAuthorship W2073166886A5062918023 @default.
- W2073166886 hasAuthorship W2073166886A5066576127 @default.
- W2073166886 hasBestOaLocation W20731668861 @default.
- W2073166886 hasConcept C119263510 @default.
- W2073166886 hasConcept C138958017 @default.
- W2073166886 hasConcept C145428669 @default.
- W2073166886 hasConcept C15077461 @default.
- W2073166886 hasConcept C154945302 @default.
- W2073166886 hasConcept C169590947 @default.
- W2073166886 hasConcept C198370458 @default.
- W2073166886 hasConcept C199360897 @default.
- W2073166886 hasConcept C201677973 @default.
- W2073166886 hasConcept C2776214188 @default.
- W2073166886 hasConcept C2776235265 @default.
- W2073166886 hasConcept C34165917 @default.
- W2073166886 hasConcept C41008148 @default.
- W2073166886 hasConcept C50033165 @default.
- W2073166886 hasConcept C55439883 @default.
- W2073166886 hasConcept C80444323 @default.
- W2073166886 hasConceptScore W2073166886C119263510 @default.
- W2073166886 hasConceptScore W2073166886C138958017 @default.
- W2073166886 hasConceptScore W2073166886C145428669 @default.
- W2073166886 hasConceptScore W2073166886C15077461 @default.
- W2073166886 hasConceptScore W2073166886C154945302 @default.
- W2073166886 hasConceptScore W2073166886C169590947 @default.
- W2073166886 hasConceptScore W2073166886C198370458 @default.
- W2073166886 hasConceptScore W2073166886C199360897 @default.
- W2073166886 hasConceptScore W2073166886C201677973 @default.
- W2073166886 hasConceptScore W2073166886C2776214188 @default.
- W2073166886 hasConceptScore W2073166886C2776235265 @default.
- W2073166886 hasConceptScore W2073166886C34165917 @default.
- W2073166886 hasConceptScore W2073166886C41008148 @default.
- W2073166886 hasConceptScore W2073166886C50033165 @default.
- W2073166886 hasConceptScore W2073166886C55439883 @default.
- W2073166886 hasConceptScore W2073166886C80444323 @default.
- W2073166886 hasIssue "4" @default.
- W2073166886 hasLocation W20731668861 @default.
- W2073166886 hasOpenAccess W2073166886 @default.
- W2073166886 hasPrimaryLocation W20731668861 @default.
- W2073166886 hasRelatedWork W137986324 @default.
- W2073166886 hasRelatedWork W1851310281 @default.
- W2073166886 hasRelatedWork W2025670560 @default.
- W2073166886 hasRelatedWork W2047793074 @default.
- W2073166886 hasRelatedWork W2068351696 @default.
- W2073166886 hasRelatedWork W2094337139 @default.
- W2073166886 hasRelatedWork W2109507516 @default.
- W2073166886 hasRelatedWork W2134644869 @default.
- W2073166886 hasRelatedWork W3161282940 @default.
- W2073166886 hasRelatedWork W4233387348 @default.
- W2073166886 hasVolume "30" @default.
- W2073166886 isParatext "false" @default.
- W2073166886 isRetracted "false" @default.
- W2073166886 magId "2073166886" @default.
- W2073166886 workType "article" @default.