The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Optimization Among Provably Equivalent Programs
Journal of the ACM (JACM)
A New Incompleteness Result for Hoare's System
Journal of the ACM (JACM)
Some Properties of Predicate Transformers
Journal of the ACM (JACM)
Tabulation Techniques for Recursive Programs
ACM Computing Surveys (CSUR)
Derivation of Invariant Assertions During Program Development by Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Assignment and Procedure Call Proof Rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Syntactic source to source transforms and program manipulation
Communications of the ACM
Selected writings on computing: a personal perspective
Selected writings on computing: a personal perspective
A Discipline of Programming
Design of Well-Structured and Correct Programs
Design of Well-Structured and Correct Programs
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
The Transformational Machine: Theme and Variations
Proceedings on Mathematical Foundations of Computer Science
Generic implementation via analogies in the Ada programming languages
ACM SIGAda Ada Letters
On the translation of relational queries into iterative programs
ACM Transactions on Database Systems (TODS)
| Hi-index | 0.00 |