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

Actions


Access Document


Publisher copy:
10.1017/S0956796810000213

Authors


Journal:
JFP
Volume:
20
Issue:
5−6
Pages:
463-535
Publication date:
2011-01-01
DOI:
URN:
uuid:6ac77a06-715e-45bf-9727-f6aa147449e4
Local pid:
cs:4851

Terms of use


Metrics


Views and Downloads






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

TO TOP