Fast and loose reasoning is morally correct
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify such reasoning. Two languages are defined, one total and one partial, with identical syntax. The semantics of the partial l...
Main Authors: | , , , |
---|---|
Format: | Conference item |
Published: |
2006
|
Search Result 1
Search Result 2