Squinting at Power Series (1989)
Abstract:
Data streams are an ideal vehicle for handling power series. Stream implementations can be read off directly from simple recursive equations that define operations such as multiplication, substitution, exponentiation, and reversion of series. The bookkeeping that bedevils these algorithms when they are expressed in traditional languages is completely hidden when they are expressed in stream terms. Communicating processes are the key to the simplicity of the algorithms. Working versions are presented in newsqueak, the language of Pike's "squint" system; their effectiveness depends critically on the stream protocol. Series and streams Power series are natural objects for stream processing. Pertinent computations are neatly describable by recursive equations. CSP (communicating sequential process) languages 1, 2 are good vehicles for implementation. This paper develops the algorithmic ideas and reduces them to practice in a working CSP language, 3 not coincidentally illustrating the ...
Citations
| 565 | Structure and Interpretation of Computer Programs – Abelson, Sussman - 1996 |
| 129 | Coroutines and networks of parallel processes – KAHN, MACQUEEN - 1977 |
| 86 | An Overview of Miranda – Turner - 1986 |
| 64 | Functional Programming Using Standard ML – Wikstrom - 1987 |
| 59 | Fast algorithms for manipulating formal power series – Brent, Kung - 1978 |
| 47 | Squeak: A Language for Communicating with Mice – CARDELLI, PIKE - 1985 |
| 43 | The Definition of Standard ML – Harper, Milner, et al. - 1989 |
| 5 | A Correspondence Between ALGOL 60 – Landin - 1965 |
| 3 | Reversion of Power Series – Orstrand - 1910 |
| 1 | The Implementation of Newsqueak," Software(emPractice and Experience (this issue – Pike |

