Inference of Well-Typings for Logic Programs with Application to Termination Analysis

M. Bruynooghe, John Patrick Gallagher, W. Van Humbeeck

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

    Abstract

    A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms can automatically be constructed. Previous work on type-based termination analysis used either types declared by the user, or automatically generated monomorphic types describing the success set of predicates. The latter types are less precise and result in weaker termination conditions than those obtained from declared types. Our type inference procedure involves solving set constraints generated from the program and derives a well-typing in contrast to a success-set approximation. Experiments so far show that our automatically inferred well-typings are close to the declared types and result in termination conditions that are as strong as those obtained with declared types. We describe the method, its implementation and experiments with termination analysis based on the inferred types.
    OriginalsprogEngelsk
    TitelStatic Analysis, 12th International Symposium
    Antal sider17
    ForlagKluwer Academic Publishers
    Publikationsdato2005
    Sider35-51
    ISBN (Trykt)3-540-28584-9
    StatusUdgivet - 2005
    Begivenhed12th International Static Analysis Symposium - London, Storbritannien
    Varighed: 7 sep. 20059 sep. 2005
    Konferencens nummer: 12

    Konference

    Konference12th International Static Analysis Symposium
    Nummer12
    LandStorbritannien
    ByLondon
    Periode07/09/200509/09/2005
    NavnLecture Notes in Computer Science
    Vol/bind3672
    ISSN0302-9743

    Bibliografisk note

    Udgivet i serien: Lecture Notes in Computer Science, vol. 3672

    Citer dette

    Bruynooghe, M., Gallagher, J. P., & Humbeeck, W. V. (2005). Inference of Well-Typings for Logic Programs with Application to Termination Analysis. I Static Analysis, 12th International Symposium (s. 35-51). Kluwer Academic Publishers. Lecture Notes in Computer Science, Bind. 3672