Skip to main content
SpringerLink
Log in

A debugging model for lazy narrowing

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

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

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. P. Arenas-Sánchez, A. Gil-Luezas: A Debugging Model for Lazy Functional Logic Languages, Technical Report DIA 94/6, UCM, April, 1994.

    Google Scholar 

  2. R. Loogen, F. J. López Fraguas, M. Rodríguez Artalejo: A Demand Driven Computation Strategy for Lazy Narrowing. In PLILP'93, LNCS 714, pp.184–200, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. de Informática y Automática Fac. de CC. Matemáticas, Unv. Complutense de Madrid, Av. Complutense s/n, 28040, Madrid, Spain

    Puri Arenas-Sánchez & Ana Gil-Luezas

Authors
  1. Puri Arenas-Sánchez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ana Gil-Luezas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Manuel Hermenegildo S. Doaitse Swierstra

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Arenas-Sánchez, P., Gil-Luezas, A. (1995). A debugging model for lazy narrowing. In: Hermenegildo, M., Swierstra, S.D. (eds) Programming Languages: Implementations, Logics and Programs. PLILP 1995. Lecture Notes in Computer Science, vol 982. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026836

Download citation

  • DOI: https://doi.org/10.1007/BFb0026836

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60359-7

  • Online ISBN: 978-3-540-45048-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation