SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Two models for integrating persistence and lazy functional languages
ACM SIGPLAN Notices
Recursive Program Optimization through Inductive Synthesis Proof Transformation
Journal of Automated Reasoning
Hi-index | 0.00 |