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...
| Автор: | |
|---|---|
| Формат: | Journal article |
| Мова: | English |
| Опубліковано: |
2010
|