Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Formalization of properties of recursively defined functions
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
LISP 1.5 Programmer's Manual
On the Development of the Algebra of Functional Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Notes on recursion elimination
Communications of the ACM
Improving programs by the introduction of recursion
Communications of the ACM
The denotational semantics of programming languages
Communications of the ACM
Fixpoint approach to the theory of computation
Communications of the ACM
Inductive methods for proving properties of programs
Communications of the ACM
ICSE '84 Proceedings of the 7th international conference on Software engineering
Inductive methods for proving properties of programs
Proceedings of ACM conference on Proving assertions about programs
Programming as an evolutionary process
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Computation of recursive programs: theory vs practice
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
A summary of progress toward proving program correctness
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Gentzen-type formal, system representing properties of function and its implementation
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
On transformations of programs
Journal of Computer and System Sciences
| Hi-index | 48.30 |