dblp.uni-trier.dewww.uni-trier.de

David Lester

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
18EEMarc Daumas, David Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58(2): 226-237 (2009)
2007
17EEMarc Daumas, David Lester: Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS 2007: 262
16EEMarc Daumas, David Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic CoRR abs/0708.3721: (2007)
2006
15EEMarc Daumas, David Lester: Stochastic Formal Methods: An application to accuracy of numeric software CoRR abs/cs/0606101: (2006)
14EEMarc Daumas, David Lester: Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors CoRR abs/cs/0610110: (2006)
13EEJeremy Gibbons, David Lester, Richard S. Bird: Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006)
2005
12EECésar Muñoz, David Lester: Real Number Calculations and Theorem Proving. TPHOLs 2005: 195-210
2003
11EEDavid Lester: Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. Numerical Software with Result Verification 2003: 259-273
10 David Lester, Paul Gowland: Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. 291(2): 203-218 (2003)
2002
9EEDavid Lester, Scott Chambers, Heoi Lee Lu: A constructive algorithm for finding the exact roots of polynomials with computable real coefficients. Theor. Comput. Sci. 279(1-2): 51-64 (2002)
2001
8EEDavid Lester: Effective Continued Fractions. IEEE Symposium on Computer Arithmetic 2001: 163-
2000
7EEPaul Gowland, David Lester: A Survey of Exact Arithmetic Implementations. CCA 2000: 30-47
1995
6 David Lester, Sava Mintchev: Inducing Students to Induct. FPLE 1995: 159-177
5 Sava Mintchev, David Lester: The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. HOA 1995: 144-162
4EEDavid Lester: Exact Statistics and Continued Fractions. J. UCS 1(7): 504-513 (1995)
1994
3 David Lester, Sava Mintchev: Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. CSL 1994: 369-381
1991
2 Simon L. Peyton Jones, David Lester: A Modular Fully-lazy Lambda Lifter in HASKELL. Softw., Pract. Exper. 21(5): 479-506 (1991)
1987
1 David Lester: The G-machine as a representation of stack semantics. FPCA 1987: 46-59

Coauthor Index

1Richard S. Bird [13]
2Scott Chambers [9]
3Marc Daumas [14] [15] [16] [17] [18]
4Jeremy Gibbons [13]
5Paul Gowland [7] [10]
6Simon L. Peyton Jones [2]
7Heoi Lee Lu [9]
8Sava Mintchev [3] [5] [6]
9César Muñoz [12] [16] [18]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)