Skip to main content

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)

Language: English
Download (708kB) Preview
Official URL


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: Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User: Andy King
Date Deposited: 24 Nov 2008 17:59 UTC
Last Modified: 15 Feb 2020 04:01 UTC
Resource URI: (The current URI for this page, for reference purposes)
King, Andy:
  • Depositors only (login required):


Downloads per month over past year