A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
Top-down synthesis of divide-and-conquer algorithms
Artificial Intelligence
An experiment in partial evaluation: the generation of a compiler generator
Proc. of the first international conference on Rewriting techniques and applications
The concept of a supercompiler
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Abstract datatypes, specialization, and program reuse
An international workshop on Advanced programming environments
Journal of Symbolic Computation
Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers
The/Munich Project CIP
Transformational derivation of programs using the focus system
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Rewriting techniques for program synthesis
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
CADE-10 Proceedings of the tenth international conference on Automated deduction
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Final Data Types and Their Specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract data types and software validation
Communications of the ACM
A Discipline of Programming
First-Order Theorem Proving Using Conditional Rewrite Rules
Proceedings of the 9th International Conference on Automated Deduction
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
Hi-index | 0.00 |