Synthesizing symmetric lenses
Abstract
Lenses are programs that can be run both "front to back" and "back to front," allowing updates to either their source or their target data to be transferred in both directions. Since their introduction by Foster et al., lenses have been extensively studied, extended, and applied. Recent work has also demonstrated how techniques from type-directed program synthesis can be used to efficiently synthesize a simple class of lenses---so-called bijective lenses over string data---given a pair of types (regular expressions) and a small number of examples.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jul 26, 2019
- Source ID
- 10.1145/3341699
Entities
People
- Anders Miltner
- Benjamin C. Pierce
- David Walker
- Kathleen Fisher
- Solomon Maina
- Steve Zdancewic
Organizations
- Defense Advanced Research Projects Agency
- Office of Naval Research
- Princeton University
- Tufts University
- University of Pennsylvania