Automated development of software for program analysis and transformation

Programming with sets; an introduction to SETL

Programming with sets; an introduction to SETL

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

Journal of Symbolic Computation

Program derivation by fixed point computation

Science of Computer Programming

Towards increased productivity of algorithm implementation

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

Transformational design and implementation of a new efficient solution to the ready simulation problem

Science of Computer Programming

From regular expressions to DFA's using compressed NFA's

Theoretical Computer Science

High level reading and data structure compilation

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset

Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi

Viewing A Program Transformation System At Work

PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming

A language-theoretic approach to algorithms

A language-theoretic approach to algorithms