Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons  Home/Search
Context Related
| cs.chalmers.se/~na...alpopl2006.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.chalmers.se/~nad/publicatio... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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)
Cited by: More
Running the Manual: An Approach to High-Assurance - Microkernel Development Philip (Correct)
Formalising a High-Performance Microkernel - Kevin Elphinstone Gerwin (Correct)
System load high. Please wait...
Timeout. Please try your query later.
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)
Related documents from co-citation: More All
2: Formal methods: A practical tool for OS implementors - Tullmann, Turner et al. - 1997
2: An overview of the programatica toolset (context) - Hallgren, Hook et al. - 2004
2: Modelization and verification of a multiprocessor realtime OS kernel - Cattel - 1994
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