Program synthesis is a promising method for building efficient, flexible software by deriving
low-level implementations from high-level specifications. In this thesis, I use programming …