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...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
2006
|