See this document in CiteSeerX!

Fast and Loose Reasoning is Morally Correct (2006)  (Make Corrections)  (2 citations)
Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages



  Home/Search   Context   Related

 
View or download:
cs.chalmers.se/~na...alpopl2006.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.chalmers.se/~nad/publicatio... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
PER semantics for reasoning about functional programs as if they were total.

Abstract: 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. (Update)

Similar documents based on text:   More   All
0.3:   Polytypic Programming - Jeuring, Jansson (1996)   (Correct)
0.3:   Chasing Bottoms - A Case Study in Program Verification in.. - Danielsson, Jansson (2004)   (Correct)
0.2:   Universes for Generic Programs and Proofs in Dependent Type .. - Benke, Dybjer, Jansson (2003)   (Correct)

BibTeX entry:   (Update)

N. A. Danielsson, J. Hughes, P. Jansson, and J. Gibbons. Fast and loose reasoning is morally correct. In J. G. Morrisett and S. L. P. Jones, editors, POPL, pages 206--217. ACM, 2006. http://citeseer.ist.psu.edu/danielsson06fast.html   More

@inproceedings{ danielssonetal06:fastandloose,
 author = {Nils Anders Danielsson and John Hughes and Patrik Jansson and Jeremy Gibbons},
 title = {Fast and loose reasoning is morally correct},
 booktitle = {POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {2006},
 isbn = {1-59593-027-2},
 pages = {206--217},
 location = {Charleston, South Carolina, USA},
 doi = {http://doi.acm.org/10.1145/1111037.1111056},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 url = {citeseer.ist.psu.edu/danielsson06fast.html} }
Citations not processed or no citations identified.

Documents on the same site (http://www.cs.chalmers.se/~nad/publications/):
Matroids from Modules - Danielsson, Smyth (2003)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC