Techniques for Scaling Up Analyses Based on Pre-interpretations

Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-interpretation of the language of the program. This has been shown to be a flexible and practical approach to building a variety of analyses, both generic (such as mode analysis) and program-specific (with respect to a type describing some particular property of interest). Previous work demonstrated the approach using pre-interpretations over small domains. In this paper we present techniques that allow the method to be applied to more complex pre-interpretations and larger programs. There are two main techniques presented: the first is a novel algorithm for determinising finite tree automata, yielding a compact “product” form of the transitions of the result automaton, that is often orders of magnitude smaller than an explicit representation of the automaton. Secondly, it is shown how this form (which is ...

• Type: Conference
• Year: 2005
• Where: ICLP
• Authors: John P. Gallagher, Kim S. Henriksen, Gourinath Banda
• Keywords: ICLP 2005, Programming Languages, finite Tree Automata, finite Tree Automaton, first Determinising