Skip to main content
SpringerLink
Log in

Avoiding repeated tests in pattern matching

  • Conference paper
  • First Online:
Static Analysis (WSA 1993)

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers Principles, Techniques, and Tools. Addison-Wesley, 1986.

    Google Scholar 

  2. R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. J. ACM, 24(1):44–67, 1977.

    Google Scholar 

  3. W.-N. Chin. Safe fusion of functional expressions. In Proceedings Conference on Lisp and Functional Programming, pages 11–20, San Francisco, June 1992.

    Google Scholar 

  4. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. 4th ACM POPL. ACM, 1977.

    Google Scholar 

  5. C. K. Gomard and P. Sestoft. Globalization and live variables. In Proc. PEPM '92, pages 166–177, New Haven, June 1991. ACM. SIGPLAN Notices v26,9.

    Google Scholar 

  6. G. W. Hamilton and S. B. Jones. Extending deforestation for first order functional programs. In R. Heldal, C. K. Holst, and P. Wadler, editors, Proceedings of the 1991 Glasgow Workshop on Functional Programming, pages 134–145, Portree, Isle of Skye, Aug. 1992. Springer-Verlag, Berlin.

    Google Scholar 

  7. S. L. Peyton Jones. Implementing lazy functional languages on stock hardware: the spineless tagless G-machine. Journal of Functional Programming, 2(2):127–202, Apr. 1992.

    Google Scholar 

  8. S. A. Romanenko. Arity raiser and its use in program specialization. In N. D. Jones, editor, ESOP 1990, pages 341–360. Springer Verlag, 1990. LNCS 432.

    Google Scholar 

  9. P. Thiemann. A safety analysis for functional programs. In D. Schmidt, editor, Proc. PEPM '93, pages 133–144, Copenhagen, Denmark, June 1993. ACM.

    Google Scholar 

  10. P. L. Wadler. Deforestation: Transforming programs to eliminate trees. Theoretical Comput. Sci., 73(2):231–248, 1990.

    Google Scholar 

  11. å. Wikström. Functional Programming Using Standard ML. Prentice Hall, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Wilhelm-Schickard-Institut, UniversitÄt Tübingen, Sand 13, D-72076, Tübingen, Germany

    Peter Thiemann

Authors
  1. Peter Thiemann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Patrick Cousot Moreno Falaschi Gilberto Filé Antoine Rauzy

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Thiemann, P. (1993). Avoiding repeated tests in pattern matching. In: Cousot, P., Falaschi, M., Filé, G., Rauzy, A. (eds) Static Analysis. WSA 1993. Lecture Notes in Computer Science, vol 724. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57264-3_36

Download citation

  • DOI: https://doi.org/10.1007/3-540-57264-3_36

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57264-0

  • Online ISBN: 978-3-540-48027-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation