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. |
Year | Venue | Keywords |
---|---|---|
2002 | SAS | analysis infers type signature,type signature,type analysis,library predicate,backward type inference generalises,type checker,type checking,type analysis generalises type,selected predicate,logic program,satisfiability,type inference |
Field | DocType | Volume |
Programmer,Programming language,Type checking,Unit type,Computer science,Type inference,Theoretical computer science,Predicate (grammar),Program analysis,Computer programming,Semantics | Conference | 2477 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-44235-9 | 6 |
PageRank | References | Authors |
0.42 | 19 | 2 |