Matches in SemOpenAlex for { <https://semopenalex.org/work/W136339> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W136339 abstract "This thesis presents a method for automatic location of type errors in constraint logic programs (CLP) and a prototype debugging tool. The appriach is based on techniques of verification and static analysis iriginating from logic programming, which are substantially extended in the thesis. The main idea is to verify partial correctness of a program with respect to a given specification which is intended to describe (an approximation of) the call-success semantics of the program. This kind of specification, describing calls and successes for every predicate of a program is known as descriptive directional type. For specifying types for CLP programs the thesis extends the formalism of regular discriminative types with constraint-domain-specific base types and with parametric polymorphism.Errors are located by identifying program points that violate verification conditions for a given type specification. The Specifications may be developed interactively taking into account the results of static analysis.The main contributions of the thesis are:a verification method for proving partial correctness of CLP programs with respect to polymorphic spicifications of the call-success semantics,a specification language for defining parametric regular types,a verification-based method for locating errors in CLP programs,a static analysis method for CLP which is an adaptation and generalization of techniques previously devised for logic programming; its implementation is used in our diagnosis tool for synthesizing draft specifications,an implementation of the prototype diagnosis tool (called TELL)." @default.
- W136339 created "2016-06-24" @default.
- W136339 creator A5043232032 @default.
- W136339 date "2013-01-01" @default.
- W136339 modified "2023-09-24" @default.
- W136339 title "The TELL diagnosis tool" @default.
- W136339 hasPublicationYear "2013" @default.
- W136339 type Work @default.
- W136339 sameAs 136339 @default.
- W136339 citedByCount "0" @default.
- W136339 crossrefType "journal-article" @default.
- W136339 hasAuthorship W136339A5043232032 @default.
- W136339 hasConcept C168065819 @default.
- W136339 hasConcept C184337299 @default.
- W136339 hasConcept C199360897 @default.
- W136339 hasConcept C201677973 @default.
- W136339 hasConcept C41008148 @default.
- W136339 hasConcept C55439883 @default.
- W136339 hasConcept C80444323 @default.
- W136339 hasConcept C81721847 @default.
- W136339 hasConcept C98183937 @default.
- W136339 hasConceptScore W136339C168065819 @default.
- W136339 hasConceptScore W136339C184337299 @default.
- W136339 hasConceptScore W136339C199360897 @default.
- W136339 hasConceptScore W136339C201677973 @default.
- W136339 hasConceptScore W136339C41008148 @default.
- W136339 hasConceptScore W136339C55439883 @default.
- W136339 hasConceptScore W136339C80444323 @default.
- W136339 hasConceptScore W136339C81721847 @default.
- W136339 hasConceptScore W136339C98183937 @default.
- W136339 hasLocation W1363391 @default.
- W136339 hasOpenAccess W136339 @default.
- W136339 hasPrimaryLocation W1363391 @default.
- W136339 hasRelatedWork W128837028 @default.
- W136339 hasRelatedWork W1495218583 @default.
- W136339 hasRelatedWork W1504912724 @default.
- W136339 hasRelatedWork W1532795106 @default.
- W136339 hasRelatedWork W1813383841 @default.
- W136339 hasRelatedWork W2018617042 @default.
- W136339 hasRelatedWork W2049967603 @default.
- W136339 hasRelatedWork W2081867734 @default.
- W136339 hasRelatedWork W2118196876 @default.
- W136339 hasRelatedWork W2122107008 @default.
- W136339 hasRelatedWork W2131514293 @default.
- W136339 hasRelatedWork W2137475629 @default.
- W136339 hasRelatedWork W2152882089 @default.
- W136339 hasRelatedWork W2161166453 @default.
- W136339 hasRelatedWork W2407362339 @default.
- W136339 hasRelatedWork W2480791090 @default.
- W136339 hasRelatedWork W2556680237 @default.
- W136339 hasRelatedWork W2566851103 @default.
- W136339 hasRelatedWork W2788835136 @default.
- W136339 hasRelatedWork W1567659153 @default.
- W136339 isParatext "false" @default.
- W136339 isRetracted "false" @default.
- W136339 magId "136339" @default.
- W136339 workType "article" @default.