The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Communications of the ACM
Certification of algorithm 245 [M1]: TREESORT
Communications of the ACM
ACM SIGCSE Bulletin
Computer Interval Arithmetic: Definition and Proof of Correct Implementation
Journal of the ACM (JACM)
Derivation of a Path-Connectivity Matrix for Tagged Flowcharts
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
Proof techniques for hierarchically structured programs
Communications of the ACM
Some performance tests of “quicksort” and descendants
Communications of the ACM
Comment on London's certification of algorithms 245
Communications of the ACM
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
SIGCSE '73 Proceedings of the third SIGCSE technical symposium on Computer science education
Proceedings of the international conference on Reliable software
Assertional checking and symbolic execution: An effective combination for debugging
ACM '79 Proceedings of the 1979 annual conference
Towards a canonical form for computer programs
ACM '75 Proceedings of the 1975 annual conference
The application of program-proving techniques to the verification of synchronization processes
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Extending PL/I for structured programming
Computer Languages
| Hi-index | 48.27 |