Skip to main content
SpringerLink
Log in

Two applications of an incremental analysis engine for (constraint) logic programs

  • System Descriptions
  • Conference paper
  • First Online:
Static Analysis (SAS 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1145))

Included in the following conference series:

  • 153 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. L. Crnogorac, A. Kelly, and H. SØndergaard. A comparison of three occur-check analysers. In this volume.

    Google Scholar 

  2. M. Hermenegildo, K. Marriott, G. Puebla and P. Stuckey. Incremental analysis of logic programs. In L. Sterling, editor, Proc. Twelfth Int. Conf. Logic Programming, pages 797–811. MIT Press, 1995.

    Google Scholar 

  3. A. Kelly, A. Macdonald, K. Marriott, P. Stuckey, and R. Yap. Effectiveness of optimizing compilation for CLP({ie386-01}). To appear in M. Maher, editor, Proc. Thirteenth Joint Int. Conf. Symp. Logic Programming. MIT Press, 1996.

    Google Scholar 

  4. B. Le Charlier and P. Van Hentenryck. Experimental evaluation of a generic abstract interpretation algorithm for Prolog. ACM Transactions on Programming Languages and Systems 16 (1): 35–101, 1994.

    Article  Google Scholar 

  5. K. Muthukumar and M. Hermenegildo. Compile-time derivation of variable dependency using abstract interpretation. Journal of Logic Programming 13 (2&3): 315–347, 1992.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, Monash University, 3168, Clayton, Vic., Australia

    Andrew D. Kelly, Kim Marriott & Harald SØndergaard

  2. Dept. of Computer Science, University of Melbourne, 3052, Parkville, Vic., Australia

    Peter J. Stuckey

Authors
  1. Andrew D. Kelly
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kim Marriott
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Harald SØndergaard
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Peter J. Stuckey
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Radhia Cousot David A. Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kelly, A.D., Marriott, K., SØndergaard, H., Stuckey, P.J. (1996). Two applications of an incremental analysis engine for (constraint) logic programs. In: Cousot, R., Schmidt, D.A. (eds) Static Analysis. SAS 1996. Lecture Notes in Computer Science, vol 1145. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61739-6_55

Download citation

  • DOI: https://doi.org/10.1007/3-540-61739-6_55

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61739-6

  • Online ISBN: 978-3-540-70674-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation