2 papers
cs.PL2023
Modular System Synthesis
Kanghee Park, Keith J. C. Johnson, Loris D'Antoni +1
This paper describes a way to improve the scalability of program synthesis by exploiting modularity: larger programs are synthesized from smaller programs. The key issue is to make…
cs.PL2023
Synthesizing Specifications
Kanghee Park, Loris D'Antoni, Thomas Reps
Every program should be accompanied by a specification that describes important aspects of the code's behavior, but writing good specifications is often harder than writing the cod…