Hostname: page-component-745bb68f8f-hvd4g Total loading time: 0 Render date: 2025-02-03T09:12:58.402Z Has data issue: false hasContentIssue false
  • English
  • Français

A coinductive calculus of streams

Published online by Cambridge University Press:  28 January 2005

J.J.M.M. RUTTEN
J.J.M.M. RUTTEN
Affiliation:
CWI and VUA, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands Email: [email protected], URL: www.cwi.nl/~janr
Get access Rights & Permissions [Opens in a new window]

Abstract

We develop a coinductive calculus of streams based on the presence of a final coalgebra structure on the set of streams (infinite sequences of real numbers). The main ingredient is the notion of stream derivative, which can be used to formulate both coinductive proofs and definitions. In close analogy to classical analysis, the latter are presented as behavioural differential equations. A number of applications of the calculus are presented, including difference equations, analytical differential equations, continued fractions, and some problems from discrete mathematics and combinatorics.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 15 , Issue 1 , February 2005 , pp. 93 - 147
Copyright
2005 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)