Skip to main content
SpringerLink
Log in

Automatic optimization of dynamic scheduling in logic programs

  • Posters and Demonstrations
  • Conference paper
  • First Online:
Programming Languages: Implementations, Logics, and Programs (PLILP 1996)

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

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. J. Boye. Avoiding dynamic delays in functional logic programs. In Programming Language Implementation and Logic Programming, number 714 in LNCS, pages 12–27, Estonia, August 1993. Springer-Verlag.

    Google Scholar 

  2. M. García de la Banda, K. Marriott, and P. Stuckey. Efficient Analysis of Constraint Logic Programs with Dynamic Scheduling. In 1995 International Logic Programming Symposium, Portland, Oregon, December 1995. MIT Press.

    Google Scholar 

  3. María José García de la Banda García. Independence, Global Analysis, and Parallelism in Dynamically Scheduled Constraint Logic Programming. PhD thesis, Universidad Politécnica de Madrid (UPM), July 1994.

    Google Scholar 

  4. M. Hanus. Analysis of Nonlinear Constraints in CLP(R). In Tenth International Conference on Logic Programming, pages 83–99. MIT Press, June 1993.

    Google Scholar 

  5. M. Hermenegildo and F. Rossi. Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Journal of Logic Programming, 22(1):1–45, 1995.

    Google Scholar 

  6. M. Hermenegildo, F. Bueno, M. García de la Banda, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995.

    Google Scholar 

  7. G. Puebla and M. Hermenegildo. Automatic optimization of dynamic scheduling in logic programs. Technical report, Technical University of Madrid, 1996. Available from http://www.clip.dia.fi.upm.es/.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Artificial Intelligence, Technical University of Madrid (UPM), Spain

    Germán Puebla & Manuel Hermenegildo

Authors
  1. Germán Puebla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manuel Hermenegildo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Herbert Kuchen S. Doaitse Swierstra

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Puebla, G., Hermenegildo, M. (1996). Automatic optimization of dynamic scheduling in logic programs. In: Kuchen, H., Doaitse Swierstra, S. (eds) Programming Languages: Implementations, Logics, and Programs. PLILP 1996. Lecture Notes in Computer Science, vol 1140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61756-6_107

Download citation

  • DOI: https://doi.org/10.1007/3-540-61756-6_107

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-70654-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation