Proof-techniques for recursive programs.

Semantics preserving transformation rules for Prolog

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Minimal and Optimal Computations of Recursive Programs

Journal of the ACM (JACM)

Fixpoint approach to the theory of computation

Communications of the ACM

Inductive methods for proving properties of programs

Communications of the ACM

On the asymptotic behaviour of primitive recursive algorithms

Theoretical Computer Science

Minimal and optimal computations of recursive programs

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Dataflow process networks

Readings in hardware/software co-design

Final data type specifications: a new data type specification method

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Relative definability of boolean functions via hypergraphs

Theoretical Computer Science

Decidability results for primitive recursive algorithms

Theoretical Computer Science

Semantics and axiomatics of a simple recursive language.

STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing

Correct and optimal implementations of recursion in a simple programming language

STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing

Inductive methods for proving properties of programs

Proceedings of ACM conference on Proving assertions about programs

Sequentiality vs. concurrency in games and logic

Mathematical Structures in Computer Science

A stable programming language

Information and Computation

A theory of memory models

Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming

An interesting LISP function

ACM Lisp Bulletin

Computation of recursive programs: theory vs practice

AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference

A stable programming language

Information and Computation

Sloth - a tool for checking minimal-strictness

PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages

EQUATIONAL TERM GRAPH REWRITING

Fundamenta Informaticae