Checking and Certifying Computational Results (1994)

Cached

Download Links

by Jonathan D. Bright
Citations:2 - 0 self

Documents Related by Co-Citation

307 Designing Programs That Check Their Work – Manuel Blum, Sampath Kannan - 1989
27 Checking Linked Data Structures – Nancy M. Amato , Michael C. Loui - 1994
2 Checking geometric programs or veri cation of geometric structures – Kurt Mehlhorn, Stefan Naher, Michael Seel, Raimund Seidel, Thomas Schilz, Stefan Schirra, Christian Uhrig - 1999
2 Completion of rst-order clauses with equality by strict superposition (extended abstract – Leo Bachmair, Harald Ganzinger - 1991
2 Certi cation trails for data structures – Gregory F Sullivan, Gerald M Masson - 1991
1 Ordered chaining calculi for rstorder theories of transitive relations – Leo Bachmair, Harald Ganzinger - 1998
1 A formally veri ed sorting certi er – Jonathan D Bright, Gregory F Sullivan, Gerald M Masson - 1997
1 The k-d heap: An e cient multidimensional priority queue (extended abstract – Yuzheng Ding, Mark A Weiss - 1993
1 trees and owers – Paths - 1965
1 Practical results on the saturation of full rst-order clauses: Experiments with the saturate system. (system description – Pilar Nivela, Robert Nieuwenhuis - 1993
18 Checking Mergeable Priority Queues – Jonathan Bright, Gregory Sullivan - 1994
37 Rewrite Techniques for Transitive Relations – Leo Bachmair, Harald Ganzinger - 1994
9 From Algorithms to Working Programs On the Use of Program Checking in LEDA – Kurt Mehlhorn, Stefan Näher - 1998
643 LEDA: A Platform for Combinatorial and Geometric Computing – Kurt Mehlhorn, Stefan Näher, Christian Uhrig - 1999
41 A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs – R Rubinfeld - 1990
101 Software Reliability via Run-Time Result-Checking – Manuel Blum, Hal Wasserman - 1994
307 Maximum Matching and a Polyhedron with (0,1) Vertices – J Edmonds - 1965
199 Rewrite-based equational theorem proving with selection and simplification – L Bachmair, H Ganzinger - 1994
83 Ronitt Rubinfeld. Self-testing/correcting with applications to numerical problems – Manuel Blum, Michael Luby - 1993