Inferring the equivalence of functional programs that mutate data

Program transformations for configuring components

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

On the orthogonality of assignments and procedures in Algol

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Automatic verification of pointer programs using monadic second-order logic

Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation

Automatic detection of immutable fields in Java

CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research

Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages

Journal of Functional Programming

Names, Equations, Relations: Practical Ways to Reason about new

Fundamenta Informaticae