Synthesizing symmetric lenses

Keyphrases

• Bijective 100%
• Regular Expressions 66%
• Information Theory 33%
• Popular 33%
• Synthesis Methods 33%
• Benchmark Instances 33%
• Internal State 33%
• Program Synthesis 33%
• Boomerang 33%
• User Annotation 33%
• Search Process 33%
• Type-directed 33%
• Synchronization Task 33%
• File Format 33%
• Electronic File 33%
• Information Annotation 33%
• Bidirectional Programming 33%
• Synthesis Algorithm 33%
• Asymmetric Lens 33%

Computer Science

• Regular Expression 100%
• Program Synthesis 50%
• Information Theory 50%
• Synthesis Algorithm 50%
• Annotation 50%
• Data Type 50%
• Internal State 50%
• Target Data Structure 50%
• Synchronism 50%
• Persistence 50%