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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Fill, J.A., Dobrow, R.P.: The number of m-ary search trees on n keys. Combinatorics, Probability & Computing 6(4), 435–453 (1997)
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)
Hinze, R.: Concrete stream calculus—an extended study. JFP 20(5-6), 463–535 (2011)
Douglas McIlroy, M.: The music of streams. Inf. Process. Lett. 77(2-4), 189–195 (2001)
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)
Plouffe, S.: Approximations de séries génératrices et quelques conjectures. Master’s thesis, Université du Québec à Montréal (1992)
Rutten, J.J.M.M.: Coinductive counting: bisimulation in enumerative combinatorics. Electr. Notes Theor. Comput. Sci. 65(1), 286–304 (2002)
Rutten, J.J.M.M.: A coinductive calculus of streams. Mathematical Structures in Computer Science 15(1), 93–147 (2005)
Rutten, J.J.M.M.: Rational streams coalgebraically. Logical Methods in Computer Science 4(3) (2008)
Wilf, H.S.: Generatingfunctionology. A. K. Peters, Ltd., Natick (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)