2007 | OriginalPaper | Buchkapitel
Adventures in Bidirectional Programming
verfasst von : Benjamin C. Pierce
Erschienen in: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Most programs get used in just one direction, from input to output. But sometimes, having computed an output, we need to be able to
update
this output and then “calculate backwards” to find a correspondingly updated input. The problem of writing such
bidirectional transformations
—often called
lenses
—arises in applications across a multitude of domains and has been attacked from many perspectives [1,2,3,4,5,6,7,8,9,10,11,12, etc.]. See [13] for a detailed survey.