Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving specifications from requirements
ICSE '88 Proceedings of the 10th international conference on Software engineering
Analogical approach to specification derivation
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Journal of Symbolic Computation - Special issue on automatic programming
The role of analogy in software reuse
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Discovering auxiliary information for incremental computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Searching for a Global Search Algorithm
Automated Software Engineering
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Program derivation using analogy
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |