Reasoning about Algebraic Data Types with Abstractions

Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen

Reasoning about functions that operate over algebraic data types is an important problem for a large variety of applications. One application of particular interest is network appl…