Smoothing a program soundly and robustly
We study the foundations of smooth interpretation, a recently-proposed program approximation scheme that facilitates the use of local numerical search techniques (e.g., gradient descent) in program analysis and synthesis. While the popular techniques for local optimization works well only on relativ...
Prif Awduron: | , |
---|---|
Awduron Eraill: | |
Fformat: | Erthygl |
Iaith: | en_US |
Cyhoeddwyd: |
Springer Berlin / Heidelberg
2012
|
Mynediad Ar-lein: | http://hdl.handle.net/1721.1/73901 https://orcid.org/0000-0001-7604-8252 |