Matches in SemOpenAlex for { <https://semopenalex.org/work/W1484125579> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1484125579 endingPage "350" @default.
- W1484125579 startingPage "337" @default.
- W1484125579 abstract "AbstractThe paper presents an approach to diagnosis of CLP programs and adiagnoser for CHIP based on this approach. The objective is to achieve partialcorrectness of the program w.r.t. a specification of type terms which describesets of calls and successes of program predicates. Parametric regular termgrammars with constraints are used to define the meaning of type terms assets.The diagnoser compares the type specification given by the user with thetype information inferred from the program and localizes all fragments ofthe program responsible for the discrepancy between the two. No informationabout error symptoms is used. The type specification is not requested a priori.It is developed “by need” querying the user about the types inferred. A typeerror is often localized by providing only a small portion of type specification.Keywords: program diagnosis, debugging, descriptive types, constraintlogic programming, CHIP. 1 Introduction We present an approach to diagnosis of CLP programs and a tool supporting it. Ina general setting the problem addressed concerns the situation when the program isnot partially correct w.r.t. some explicit or implicit specification. We want to localizethe fragments of the program responsible for that, sometimes called program errors.As a matter of fact, most of the usual run-time errors are generated by bad calls tosome built-in predicate. Thus the specifications used in our approach concern theform of call and success of every predicate of a CLP program during any executionof the program starting with a class of goals. They give an approximation of thecall-success semantics, described in more detail in this paper." @default.
- W1484125579 created "2016-06-24" @default.
- W1484125579 creator A5051344054 @default.
- W1484125579 creator A5066576127 @default.
- W1484125579 creator A5043232032 @default.
- W1484125579 date "1999-01-01" @default.
- W1484125579 modified "2023-09-27" @default.
- W1484125579 title "Diagnosis of CHIP Programs Using Type Information." @default.
- W1484125579 cites W1514468887 @default.
- W1484125579 cites W1530717542 @default.
- W1484125579 cites W159226319 @default.
- W1484125579 cites W1795067865 @default.
- W1484125579 cites W2020091474 @default.
- W1484125579 cites W2027026606 @default.
- W1484125579 cites W2037439718 @default.
- W1484125579 cites W2081810835 @default.
- W1484125579 cites W2142606140 @default.
- W1484125579 cites W74223460 @default.
- W1484125579 hasPublicationYear "1999" @default.
- W1484125579 type Work @default.
- W1484125579 sameAs 1484125579 @default.
- W1484125579 citedByCount "3" @default.
- W1484125579 crossrefType "proceedings-article" @default.
- W1484125579 hasAuthorship W1484125579A5043232032 @default.
- W1484125579 hasAuthorship W1484125579A5051344054 @default.
- W1484125579 hasAuthorship W1484125579A5066576127 @default.
- W1484125579 hasConcept C111472728 @default.
- W1484125579 hasConcept C138885662 @default.
- W1484125579 hasConcept C140146324 @default.
- W1484125579 hasConcept C168065819 @default.
- W1484125579 hasConcept C18903297 @default.
- W1484125579 hasConcept C199360897 @default.
- W1484125579 hasConcept C2777299769 @default.
- W1484125579 hasConcept C41008148 @default.
- W1484125579 hasConcept C75553542 @default.
- W1484125579 hasConcept C80444323 @default.
- W1484125579 hasConcept C86803240 @default.
- W1484125579 hasConceptScore W1484125579C111472728 @default.
- W1484125579 hasConceptScore W1484125579C138885662 @default.
- W1484125579 hasConceptScore W1484125579C140146324 @default.
- W1484125579 hasConceptScore W1484125579C168065819 @default.
- W1484125579 hasConceptScore W1484125579C18903297 @default.
- W1484125579 hasConceptScore W1484125579C199360897 @default.
- W1484125579 hasConceptScore W1484125579C2777299769 @default.
- W1484125579 hasConceptScore W1484125579C41008148 @default.
- W1484125579 hasConceptScore W1484125579C75553542 @default.
- W1484125579 hasConceptScore W1484125579C80444323 @default.
- W1484125579 hasConceptScore W1484125579C86803240 @default.
- W1484125579 hasLocation W14841255791 @default.
- W1484125579 hasOpenAccess W1484125579 @default.
- W1484125579 hasPrimaryLocation W14841255791 @default.
- W1484125579 hasRelatedWork W108583503 @default.
- W1484125579 hasRelatedWork W1530717542 @default.
- W1484125579 hasRelatedWork W1562372713 @default.
- W1484125579 hasRelatedWork W1748515470 @default.
- W1484125579 hasRelatedWork W184346136 @default.
- W1484125579 hasRelatedWork W1967431146 @default.
- W1484125579 hasRelatedWork W2031552811 @default.
- W1484125579 hasRelatedWork W2088126145 @default.
- W1484125579 hasRelatedWork W2094944943 @default.
- W1484125579 hasRelatedWork W2118483018 @default.
- W1484125579 hasRelatedWork W2129754438 @default.
- W1484125579 hasRelatedWork W2202863966 @default.
- W1484125579 hasRelatedWork W2222205073 @default.
- W1484125579 hasRelatedWork W2301227258 @default.
- W1484125579 hasRelatedWork W2398677206 @default.
- W1484125579 hasRelatedWork W2625955000 @default.
- W1484125579 hasRelatedWork W2952261903 @default.
- W1484125579 hasRelatedWork W2953116807 @default.
- W1484125579 hasRelatedWork W3104721040 @default.
- W1484125579 hasRelatedWork W3104758838 @default.
- W1484125579 isParatext "false" @default.
- W1484125579 isRetracted "false" @default.
- W1484125579 magId "1484125579" @default.
- W1484125579 workType "article" @default.