Communications of the ACM
Inductive methods for proving properties of programs
Communications of the ACM
Another recursion induction principle
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
A Discipline of Programming
Proceedings of the International Colloquium on Formalization of Programming Concepts
Efficient compilation of linear recursive functions into object level loops
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
A methodology for synthesis of recursive functional programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACE: an automatic complexity evaluator
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional programming with combinators
Journal of Symbolic Computation
Completeness of rewrite rules and rewrite strategies for FP
Journal of the ACM (JACM)
Denotational semantics and rewrite rules for FP
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Expansions in the algebra of FP
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A data flow approach to the evaluation of FP programs
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Busy and lazy FP with infinite objects
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Theory of linear equations applied to program transformation
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |