Towards High-Level SMT Program Modeling: Bounded Integers, Simplified Structs, and Metaprogramming.

Xiangyu Li

Browse the full ICFEM paper archive.