Search Results for author:
Found 1 papers, 0 papers with code
Synthesizing Imperative Programs from Examples Guided by Static Analysis
We have implemented our algorithm in a tool, called SIMPL, and evaluated it on 30 problems used in introductory programming courses.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
