Higher-Order Symbolic Execution via Contracts
1 They provide symbolic approximation of higher-order behavior. First-order programs: functions can be arguments (computation is data). They are talking on symbolic execution as technique to make missing data symbolic? What kind of missing data? Research and add to thesis. Term specifications as values.
Sergey Vartanov, 2007–2020