Fast and loose reasoning is morally correct

@inproceedings{Danielsson2006FastAL,
  title={Fast and loose reasoning is morally correct},
  author={Nils Anders Danielsson and John Hughes and Patrik Jansson and Jeremy Gibbons},
  booktitle={POPL},
  year={2006}
}
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 language includes partial and infinite values, and all types are lifted, including the function spaces. A partial equivalence relation (PER) is then defined, the domain of which is the total subset of… CONTINUE READING
Highly Cited
This paper has 68 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…