Equational logic as a programming language
Equational logic as a programming language
The Programmer's Apprentice: A Session with KBEmacs
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
The concept of a supercompiler
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Logic for problem-solving
Report on the Larch shared language
Science of Computer Programming
Readings in artificial intelligence and software engineering
Readings in artificial intelligence and software engineering
Functional logic languages, Part I
Proc. of a workshop on Graph reduction
Tree-oriented interactive processng with an application to theorem-proving
Proceedings of the second conference on Software development tools, techniques, and alternatives
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program developments: formal explanations of implementations
Communications of the ACM
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Program improvement by internal specialization
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
On the Transformational Implementation approach to programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Toward special-purpose program verification
Conference proceedings on Formal methods in software development
Formal methods in transformational derivation of programs
Conference proceedings on Formal methods in software development
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
| Hi-index | 0.01 |