[TYPES] [ANN] InvarGenT: GADTs-based invariant/postcondition generation
lukstafi at gmail.com
Wed Dec 11 16:29:33 EST 2013
I am pleased to release the first version of InvarGenT, a system that
performs full type inference for a type system with GADTs, and also
generates new GADTs to serve as existential types. In addition to algebraic
types, the first version handles linear arithmetic constraints.
More information about the Types-list