Reasoning about codata
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. Coinduction is often considered a rather low-level proof method, in particular, as it departs quite radically from equat...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2010
|