A Simple Program whose Derivation and proof is also
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
The classification of greedy algorithms
Science of Computer Programming
How to read floating point numbers accurately
ACM SIGPLAN Notices - Best of PLDI 1979-1999
How to print floating-point numbers accurately
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Hi-index | 0.00 |