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

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs: Danielsson, N, Gibbons, J, Hughes, J, Jansson, P
Formaat: Conference item
Gepubliceerd in: 2006

Gelijkaardige items