Journal article icon

Journal article

Concrete stream calculus: An extended study

Abstract:

This paper shows how to reason about streams concisely and precisely. Streams, infinite sequences of elements, live in a coworld: they are given by a coinductive datatype, operations on streams are implemented by corecursive programs, and proofs are typically concocted using coinduction. This paper offers an alternative to coinduction. Suitably restricted, stream equations possess unique solutions. This property gives rise to a simple and attractive proof technique, essentially bringing equat...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1017/S0956796810000213

Authors


Journal:
JOURNAL OF FUNCTIONAL PROGRAMMING
Volume:
20
Issue:
5-6
Pages:
463-535
Publication date:
2010-11-05
DOI:
EISSN:
1469-7653
ISSN:
0956-7968
URN:
uuid:acaa3e7b-6011-43df-9e19-680a23e4d012
Source identifiers:
328783
Local pid:
pubs:328783
Language:
English

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP