Matches in SemOpenAlex for { <https://semopenalex.org/work/W1480879962> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1480879962 endingPage "101" @default.
- W1480879962 startingPage "85" @default.
- W1480879962 abstract "This paper presents a backward type analysis for logic programs. Given type signatures for a collection of selected predicates such as builtin or library predicates, the analysis infers type signatures for other predicates such that the execution of any query satisfying the inferred type signatures will not violate the type signatures for the selected predicates. Thus, the backward type analysis generalises type checking in which the programmer manually specifies type signatures for all predicates that are checked for consistency by a type checker." @default.
- W1480879962 created "2016-06-24" @default.
- W1480879962 creator A5015062108 @default.
- W1480879962 creator A5063762504 @default.
- W1480879962 date "2002-01-01" @default.
- W1480879962 modified "2023-10-14" @default.
- W1480879962 title "Backward Type Inference Generalises Type Checking" @default.
- W1480879962 cites W1516418361 @default.
- W1480879962 cites W1568232257 @default.
- W1480879962 cites W1964777477 @default.
- W1480879962 cites W1965825795 @default.
- W1480879962 cites W1966955252 @default.
- W1480879962 cites W2003914809 @default.
- W1480879962 cites W2010266648 @default.
- W1480879962 cites W2012397892 @default.
- W1480879962 cites W2033160692 @default.
- W1480879962 cites W2043100293 @default.
- W1480879962 cites W2062605570 @default.
- W1480879962 cites W2069076448 @default.
- W1480879962 cites W2071141629 @default.
- W1480879962 cites W2076696436 @default.
- W1480879962 cites W2079482412 @default.
- W1480879962 cites W4206370914 @default.
- W1480879962 doi "https://doi.org/10.1007/3-540-45789-5_9" @default.
- W1480879962 hasPublicationYear "2002" @default.
- W1480879962 type Work @default.
- W1480879962 sameAs 1480879962 @default.
- W1480879962 citedByCount "5" @default.
- W1480879962 crossrefType "book-chapter" @default.
- W1480879962 hasAuthorship W1480879962A5015062108 @default.
- W1480879962 hasAuthorship W1480879962A5063762504 @default.
- W1480879962 hasBestOaLocation W14808799622 @default.
- W1480879962 hasConcept C11413529 @default.
- W1480879962 hasConcept C138958017 @default.
- W1480879962 hasConcept C154945302 @default.
- W1480879962 hasConcept C18903297 @default.
- W1480879962 hasConcept C198370458 @default.
- W1480879962 hasConcept C199360897 @default.
- W1480879962 hasConcept C2524010 @default.
- W1480879962 hasConcept C2776214188 @default.
- W1480879962 hasConcept C2776436953 @default.
- W1480879962 hasConcept C2777299769 @default.
- W1480879962 hasConcept C2778514511 @default.
- W1480879962 hasConcept C2779696439 @default.
- W1480879962 hasConcept C33923547 @default.
- W1480879962 hasConcept C41008148 @default.
- W1480879962 hasConcept C80444323 @default.
- W1480879962 hasConcept C86803240 @default.
- W1480879962 hasConcept C93682546 @default.
- W1480879962 hasConcept C98183937 @default.
- W1480879962 hasConceptScore W1480879962C11413529 @default.
- W1480879962 hasConceptScore W1480879962C138958017 @default.
- W1480879962 hasConceptScore W1480879962C154945302 @default.
- W1480879962 hasConceptScore W1480879962C18903297 @default.
- W1480879962 hasConceptScore W1480879962C198370458 @default.
- W1480879962 hasConceptScore W1480879962C199360897 @default.
- W1480879962 hasConceptScore W1480879962C2524010 @default.
- W1480879962 hasConceptScore W1480879962C2776214188 @default.
- W1480879962 hasConceptScore W1480879962C2776436953 @default.
- W1480879962 hasConceptScore W1480879962C2777299769 @default.
- W1480879962 hasConceptScore W1480879962C2778514511 @default.
- W1480879962 hasConceptScore W1480879962C2779696439 @default.
- W1480879962 hasConceptScore W1480879962C33923547 @default.
- W1480879962 hasConceptScore W1480879962C41008148 @default.
- W1480879962 hasConceptScore W1480879962C80444323 @default.
- W1480879962 hasConceptScore W1480879962C86803240 @default.
- W1480879962 hasConceptScore W1480879962C93682546 @default.
- W1480879962 hasConceptScore W1480879962C98183937 @default.
- W1480879962 hasLocation W14808799621 @default.
- W1480879962 hasLocation W14808799622 @default.
- W1480879962 hasOpenAccess W1480879962 @default.
- W1480879962 hasPrimaryLocation W14808799621 @default.
- W1480879962 hasRelatedWork W1573380057 @default.
- W1480879962 hasRelatedWork W191500592 @default.
- W1480879962 hasRelatedWork W204343378 @default.
- W1480879962 hasRelatedWork W2139102157 @default.
- W1480879962 hasRelatedWork W2146731920 @default.
- W1480879962 hasRelatedWork W2167486301 @default.
- W1480879962 hasRelatedWork W2964853020 @default.
- W1480879962 hasRelatedWork W2979520889 @default.
- W1480879962 hasRelatedWork W4288269312 @default.
- W1480879962 hasRelatedWork W2584819674 @default.
- W1480879962 isParatext "false" @default.
- W1480879962 isRetracted "false" @default.
- W1480879962 magId "1480879962" @default.
- W1480879962 workType "book-chapter" @default.