Jedd: a BDD-based relational extension of Java (2004)

by Laurie Hendren , Jedd Language
Venue:In Proceedings of PLDI 2004
Citations:52 - 5 self