DMCA

Decision procedures for algebraic data types with abstractions. (2010)

by Philippe Suter , Mirco Dotta , Viktor Kuncak
Venue:In POPL’10,
Citations:37 - 15 self