Skip to main content
Kent Academic Repository

Backward Type Inference Generalises Type Checking

Lu, Lunjin and King, Andy (2002) Backward Type Inference Generalises Type Checking. In: Hermenegildo, Manuel V. and Puebla, German, eds. Static Analysis 9th International Symposium. Lecture Notes in Computer Science, 2477 . Springer, Berlin, Germany, pp. 85-101. ISBN 978-3-540-44235-6. E-ISBN 978-3-540-45789-3. (doi:10.1007/3-540-45789-5_9) (KAR id:13743)


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.

Item Type: Book section
DOI/Identification number: 10.1007/3-540-45789-5_9
Additional information: Also see
Uncontrolled keywords: abstract interpretation, type inference
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Andy King
Date Deposited: 24 Nov 2008 17:59 UTC
Last Modified: 16 Nov 2021 09:51 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.