Skip to main content
SpringerLink
Log in

QStream: A Suite of Streams

  • Conference paper
Book cover Algebra and Coalgebra in Computer Science (CALCO 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8089))

Included in the following conference series:

Abstract

We present a simple tool in Haskell, QStream, implementing the technique of coinductive counting by making use of Haskell’s built-in coinduction capabilities. We furthermore provide a number of useful tools for stream exploration, including a number of pretty print functions and integration with the Online Encyclopedia of Integer Sequences.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bonsangue, M.M., Rutten, J.J.M.M., Winter, J.: Defining context-free power series coalgebraically. In: Pattinson, D., Schröder, L. (eds.) CMCS 2012. LNCS, vol. 7399, pp. 20–39. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  2. Fill, J.A., Dobrow, R.P.: The number of m-ary search trees on n keys. Combinatorics, Probability & Computing 6(4), 435–453 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  3. Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics: A Foundation for Computer Science, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (1994)

    MATH  Google Scholar 

  4. Hinze, R.: Concrete stream calculus—an extended study. JFP 20(5-6), 463–535 (2011)

    MathSciNet  Google Scholar 

  5. Douglas McIlroy, M.: The music of streams. Inf. Process. Lett. 77(2-4), 189–195 (2001)

    Article  MATH  Google Scholar 

  6. Lucanu, D., Goriac, E.-I., Caltais, G., Roşu, G.: CIRC: A Behavioral Verification Tool Based on Circular Coinduction. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol. 5728, pp. 433–442. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  7. Plouffe, S.: Approximations de séries génératrices et quelques conjectures. Master’s thesis, Université du Québec à Montréal (1992)

    Google Scholar 

  8. Rutten, J.J.M.M.: Coinductive counting: bisimulation in enumerative combinatorics. Electr. Notes Theor. Comput. Sci. 65(1), 286–304 (2002)

    Article  Google Scholar 

  9. Rutten, J.J.M.M.: A coinductive calculus of streams. Mathematical Structures in Computer Science 15(1), 93–147 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  10. Rutten, J.J.M.M.: Rational streams coalgebraically. Logical Methods in Computer Science 4(3) (2008)

    Google Scholar 

  11. Wilf, H.S.: Generatingfunctionology. A. K. Peters, Ltd., Natick (2006)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centrum Wiskunde & Informatica (CWI), Netherlands

    Joost Winter

  2. LIACS, Leiden University, Netherlands

    Joost Winter

Authors
  1. Joost Winter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Leicester, LE1 7RH, Leicester, UK

    Reiko Heckel

  2. Lehrstuhl für Theoretische Informatik, Friedrich-Alexander Universität, 91058, Erlangen-Nürnberg, Germany

    Stefan Milius

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Winter, J. (2013). QStream: A Suite of Streams. In: Heckel, R., Milius, S. (eds) Algebra and Coalgebra in Computer Science. CALCO 2013. Lecture Notes in Computer Science, vol 8089. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40206-7_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40206-7_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40205-0

  • Online ISBN: 978-3-642-40206-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation