Skip to main content
SpringerLink
Log in

IGOR: A tool for developing Prolog dataflow analyzers

  • Contributed Papers
  • Conference paper
  • First Online:
Static Analysis (SAS 1995)

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

Included in the following conference series:

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. T. Lindgren, J. Bevemyr & H. Millroth, Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor, in Proc. EURO-PAR'95, Springer Verlag, 1995.

    Google Scholar 

  2. M. Codish, A. Mulkers, M. Bruynooghe, M. García de la Banda & M. Hermenegildo, Improving abstract interpretations by combining domains, Proc. Symp. Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, Connecticut, 1991.

    Google Scholar 

  3. S.K. Debray, Static inference of modes and data dependencies in logic programs, ACM Trans. Programming Languages and Systems, Vol. 11, No. 3, pp. 418–450, July 1989.

    Google Scholar 

  4. S.K. Debray, Efficient dataflow analysis of logic programs, J. ACM, Vol. 39, No. 4, October 1992.

    Google Scholar 

  5. T.W. Getzinger, Abstract interpretation for the compile-time optimization of logic programs, Ph.D. Thesis, University of South California, Report 93/09, 1993.

    Google Scholar 

  6. D. Jacobs & A. Langen, Accurate and efficient approximation of variable aliasing in logic programs, Proc. North American Conf. Logic Programming 1989, pp. 154–165, 1989.

    Google Scholar 

  7. M. Nordin, T. Lindgren, H. Millroth. Igor: A tool for developing Prolog dataflow analyzers, Technical report 111, Computing Science Department, Uppsala University, July 1995.

    Google Scholar 

  8. M. Nordin, Igor: A tool for developing abstract domains for Prolog, Licentiate of Philosophy thesis, forthcoming, 1995.

    Google Scholar 

  9. R. Sundararajan, An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs, Technical Report CIS-TR-91-06, Dept. of Computer and Information Science, University of Oregon, 1991

    Google Scholar 

  10. K. Yi & W.L. Harrison III, Automatic generation and management of interprocedural program analyses, The 20th Annual ACM Symposium on Principles of Programming Languages, January 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Science Department, Uppsala University, Box 311, S-751 05, Uppsala, Sweden

    Magnus Nordin, Thomas Lindgren & Håkan Millroth

Authors
  1. Magnus Nordin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Lindgren
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Håkan Millroth
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alan Mycroft

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nordin, M., Lindgren, T., Millroth, H. (1995). IGOR: A tool for developing Prolog dataflow analyzers. In: Mycroft, A. (eds) Static Analysis. SAS 1995. Lecture Notes in Computer Science, vol 983. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60360-3_54

Download citation

  • DOI: https://doi.org/10.1007/3-540-60360-3_54

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60360-3

  • Online ISBN: 978-3-540-45050-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation