Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153669223> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2153669223 endingPage "320" @default.
- W2153669223 startingPage "309" @default.
- W2153669223 abstract "We propose in this paper a type inference system for extracting inheritance hierarchies from Prolog programs. The inferred types define a superset of the denotation of the program, and a subset of the least fixed point of the tuple-distributive closure of the immediate consequence operator TP (i.e., 1fp(α(TP)).The types are described by means of their relationships with other types of the program rather than by their instances. Thus, we infer a collection of not resolved formulas that describe set relationships between the terms appearing in the program. We have nevertheless defined an interpretation function from the type relations into the Herbrand universe that allows us to actually compute the set of ground terms associated with each type.The inferred type relations are used for defining two inheritance hierarchies. The first one is obtained through a formal comparison of the type relations, and is independent of the program's data, whereas the second one is obtained through the comparison of the interpretations of the types and is directly dependent of the program's data. These two hierarchies provide a scheme of the program that enables a better understanding of the underlying structure. Their comparison may outline some errors or incompleteness of the program.KeywordsLogic ProgramType RelationGeneric PredicateAbstract DomainDenotational SemanticThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W2153669223 created "2016-06-24" @default.
- W2153669223 creator A5007391550 @default.
- W2153669223 creator A5086425684 @default.
- W2153669223 date "1993-01-01" @default.
- W2153669223 modified "2023-10-18" @default.
- W2153669223 title "Extracting inheritance hierarchies from Prolog programs: A system based on the inference of type relations" @default.
- W2153669223 cites W1575633021 @default.
- W2153669223 cites W2027657506 @default.
- W2153669223 cites W2035855976 @default.
- W2153669223 cites W2041042883 @default.
- W2153669223 cites W2079482412 @default.
- W2153669223 cites W4206370914 @default.
- W2153669223 doi "https://doi.org/10.1007/3-540-56944-8_63" @default.
- W2153669223 hasPublicationYear "1993" @default.
- W2153669223 type Work @default.
- W2153669223 sameAs 2153669223 @default.
- W2153669223 citedByCount "0" @default.
- W2153669223 crossrefType "book-chapter" @default.
- W2153669223 hasAuthorship W2153669223A5007391550 @default.
- W2153669223 hasAuthorship W2153669223A5086425684 @default.
- W2153669223 hasConcept C104317684 @default.
- W2153669223 hasConcept C118615104 @default.
- W2153669223 hasConcept C118930307 @default.
- W2153669223 hasConcept C138885662 @default.
- W2153669223 hasConcept C138958017 @default.
- W2153669223 hasConcept C139997677 @default.
- W2153669223 hasConcept C149106765 @default.
- W2153669223 hasConcept C154945302 @default.
- W2153669223 hasConcept C160145156 @default.
- W2153669223 hasConcept C175971053 @default.
- W2153669223 hasConcept C177264268 @default.
- W2153669223 hasConcept C185592680 @default.
- W2153669223 hasConcept C18903297 @default.
- W2153669223 hasConcept C198370458 @default.
- W2153669223 hasConcept C199360897 @default.
- W2153669223 hasConcept C2776214188 @default.
- W2153669223 hasConcept C2777299769 @default.
- W2153669223 hasConcept C2780902518 @default.
- W2153669223 hasConcept C33923547 @default.
- W2153669223 hasConcept C41008148 @default.
- W2153669223 hasConcept C41895202 @default.
- W2153669223 hasConcept C55493867 @default.
- W2153669223 hasConcept C80444323 @default.
- W2153669223 hasConcept C81721847 @default.
- W2153669223 hasConcept C86803240 @default.
- W2153669223 hasConceptScore W2153669223C104317684 @default.
- W2153669223 hasConceptScore W2153669223C118615104 @default.
- W2153669223 hasConceptScore W2153669223C118930307 @default.
- W2153669223 hasConceptScore W2153669223C138885662 @default.
- W2153669223 hasConceptScore W2153669223C138958017 @default.
- W2153669223 hasConceptScore W2153669223C139997677 @default.
- W2153669223 hasConceptScore W2153669223C149106765 @default.
- W2153669223 hasConceptScore W2153669223C154945302 @default.
- W2153669223 hasConceptScore W2153669223C160145156 @default.
- W2153669223 hasConceptScore W2153669223C175971053 @default.
- W2153669223 hasConceptScore W2153669223C177264268 @default.
- W2153669223 hasConceptScore W2153669223C185592680 @default.
- W2153669223 hasConceptScore W2153669223C18903297 @default.
- W2153669223 hasConceptScore W2153669223C198370458 @default.
- W2153669223 hasConceptScore W2153669223C199360897 @default.
- W2153669223 hasConceptScore W2153669223C2776214188 @default.
- W2153669223 hasConceptScore W2153669223C2777299769 @default.
- W2153669223 hasConceptScore W2153669223C2780902518 @default.
- W2153669223 hasConceptScore W2153669223C33923547 @default.
- W2153669223 hasConceptScore W2153669223C41008148 @default.
- W2153669223 hasConceptScore W2153669223C41895202 @default.
- W2153669223 hasConceptScore W2153669223C55493867 @default.
- W2153669223 hasConceptScore W2153669223C80444323 @default.
- W2153669223 hasConceptScore W2153669223C81721847 @default.
- W2153669223 hasConceptScore W2153669223C86803240 @default.
- W2153669223 hasLocation W21536692231 @default.
- W2153669223 hasOpenAccess W2153669223 @default.
- W2153669223 hasPrimaryLocation W21536692231 @default.
- W2153669223 hasRelatedWork W1508480023 @default.
- W2153669223 hasRelatedWork W1550049051 @default.
- W2153669223 hasRelatedWork W1569589535 @default.
- W2153669223 hasRelatedWork W191500592 @default.
- W2153669223 hasRelatedWork W2056253254 @default.
- W2153669223 hasRelatedWork W2112150205 @default.
- W2153669223 hasRelatedWork W2138732532 @default.
- W2153669223 hasRelatedWork W2153669223 @default.
- W2153669223 hasRelatedWork W2739429602 @default.
- W2153669223 hasRelatedWork W2584819674 @default.
- W2153669223 isParatext "false" @default.
- W2153669223 isRetracted "false" @default.
- W2153669223 magId "2153669223" @default.
- W2153669223 workType "book-chapter" @default.