A language-oriented interactive programming environment based on compilation technology

Incremental dynamic semantics for language-based programming environments

ACM Transactions on Programming Languages and Systems (TOPLAS)

Debugging optimized code with dynamic deoptimization

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation

A greedy concurrent approach to incremental code generation

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Generalized path expressions: A high level debugging mechanism (Preliminary Draft)

SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging

Annotated bibliography of GANDALF literature

Journal of Systems and Software