Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types.

Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Browse the full SAS paper archive.