Analysis of Logic Programs with Delay

Part of book or chapter of book English OPEN
Heaton, Andrew ; Hill, Pat ; King, Andy (1998)

This paper focusses on practical analysis for logic programs with delay. The method described is for downward-closed program properties and, in particular, groundness. A program transformation is defined which eliminates the delay statements but still enables an accurate approximation of the behaviour of delayed goals to be traced by the analyser. An implementation has been built which shows that the analysis can be both accurate and efficient.
  • References (21)
    21 references, page 1 of 3

    1. R. Bagnara. Data-Flow Analysis for Constraint Logic-Based Languages. PhD thesis, University of Pisa, 1997.

    2. F. Benoy, M. Codish, A. Heaton, and A. King. Widening Pos for EfÞcient and Scalable Groundness Analysis of Logic Programs. Submitted for Publication.

    3. M. Carlsson. Personal communication on the freeze/2 and block declaration awakening order in SICStus Prolog 3. April 1996.

    4. M. Codish and B. Demoen. Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop. In SASÕ94, pages 281Ð297. Springer-Verlag, 1994.

    5. M. Codish and B. Demoen. Analysing Logic Programs using ÒpropÓ-ositional Logic Programs and a Magic Wand. Journal of Logic Programming, 25(3):249Ð274, 1995.

    6. M. Codish, M. Falaschi, and K. Marriott. Suspension analyses for concurrent logic programs. ACM Transactions on Programming Languages and Systems, 16(3):649Ð686, 1994.

    7. P. Codognet and G. File«. Computations, Abstractions and Constraints. Technical report, Dipartimento di Matematica Pura e Applicata, Universita` di Padova, 1991.

    8. A. Cortesi, G. File«, and W. Winsborough. Optimal Groundness Analysis using Propositional Logic. Journal of Logic Programming, 27(1, 2 and 3):137Ð169, 1996.

    9. S. Debray, D. Gudeman, and P. Bigot. Detection and Optimization of Suspension-free Logic Programs. In ILPSÕ94, pages 487Ð504. MIT Press, 1994.

    10. S.K. Debray. QD-Janus: A Sequential Implementation of Janus in Prolog. Software- Practice and Experience, 23(12):1337Ð1360, 1993.

  • Metrics
    views in OpenAIRE
    views in local repository
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    Kent Academic Repository - IRUS-UK 0 7
Share - Bookmark