Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study

Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study

Journal of Symbolic Computation

Binding performance at language design time

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

A derived algorithm for evaluating ε-expressions over abstract sets

Journal of Symbolic Computation - Special issue on automatic programming

Towards increased productivity of algorithm implementation

SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering