Synthesizing quotient lenses

MainaSolomon,MiltnerAnders,FisherKathleen,C PierceBenjamin,WalkerDavid,ZdancewicSteve

Synthesizing quotient lenses

2018

MainaSolomon
MiltnerAnders
FisherKathleen
C PierceBenjamin
WalkerDavid
ZdancewicSteve

Quotient lenses are bidirectional transformations whose correctness laws are “loosened” by specified equivalence relations, allowing inessential details in concrete data formats to be suppressed. F...

Keywords:

Program synthesis
bidirectional programming
Correctness
Equivalence relation
Quotient
Algebra
Computer science
Lens (optics)

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations