Conference icon

Conference

Fast and loose reasoning is morally correct

Abstract:

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 ...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1145/1111320.1111056

Authors


More by this author
Institution:
University of Oxford
Department:
Oxford, MPLS, Computer Science
Role:
Author
Volume:
41
Issue:
1
Pages:
206-217
Publication date:
2006-01-05
DOI:
ISSN:
0362-1340
URN:
uuid:a3f59020-133a-4496-b0c1-7832d532e496
Source identifiers:
57483
Local pid:
pubs:57483
ISBN-10:
1595930272
ISBN-13:
9781595930279

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP