Fast and Loose Reasoning is Morally Correct
We justify reasoning about non-total (partial) functional languages using methods seemingly only valid for total ones; this permits `fast and loose' reasoning without actually being loose. <p> Two languages are defined, one total and one partial, with identical syntax. The semantics of th...
| Автори: | , , , |
|---|---|
| Формат: | Conference item |
| Опубліковано: |
2006
|