Beyond the elementary representations of program invariants over algebraic data types.

Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich

Browse the full PLDI paper archive.