6/15/2023 0 Comments Download spt 1770 pdf![]() The tool frames the synthesis problem as a generalization of an abstract-interpretation based shape analysis, and represents the problem as a set of constraints which are solved efficiently by the S ketch solver. Our tool aims to bridge the gap between the intuition and the corresponding implementation by automatically synthesizing the implementation. When programmers write such manipulations, they typically have a clear high-level intuition about how the manipulation should work, but implementing efficient low-level pointer manipulating code is error-prone. ![]() We present S pt, a tool that helps programmers write low-level data-structure manipulations by combining various forms of insights such as abstract and concrete input-output examples as well as implementation skeletons.
0 Comments
Leave a Reply. |