Smooth interpretation

We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of numerical search techniques like gradient descent for program analysis and synthesis. The method extends to programs the...

Full description

Bibliographic Details
Main Authors: Chaudhuri, Swarat, Solar Lezama, Armando
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format: Article
Language:English
Published: Association for Computing Machinery (ACM) 2020
Online Access:https://hdl.handle.net/1721.1/124688