Research Retrospective

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

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

Using multiset discrimination to solve language processing problems without hashing

Theoretical Computer Science

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

The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms

The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms

Finite Differencing of Computable Expressions

ACM Transactions on Programming Languages and Systems (TOPLAS)

Symbolic evaluation and the global value graph

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Flow Analysis of Computer Programs

Flow Analysis of Computer Programs