The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
David Lester: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.017secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002