Jedd: a BDD-based relational extension of Java.

Ondrej Lhotk, Laurie J. Hendren

Browse the full PLDI paper archive.