• Verifying Solutions to Semanti...

Treffer: Verifying Solutions to Semantics-Guided Synthesis Problems

Title:
Verifying Solutions to Semantics-Guided Synthesis Problems
Authors:
Murphy, Charlie, Johnson, Keith J.C., Reps, Thomas, D'Antoni, Loris
Source:
Proceedings of the ACM on Programming Languages. 9(PLDI):1741-1765
Availability:
http://dl.acm.org/doi/10.1145/3729320
Database:
ACM Full-Text Collection