OpenAlex
Contract lenses: Reasoning about bidirectional programs via calculation
Work
Year: 2023
Type: article
Abstract: Bidirectional transformations (BXs) are a mechanism for maintaining consistency between multiple representations of related data. The lens framework, which usually constructs BXs from lens combinator... more
Source: Journal of Functional Programming
Authors HANLIANG ZHANG, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu
Institutions University of Bristol, University of Edinburgh, Peking University
Cites: 34
Cited by: 3
Related to: 10
FWCI: 0.569
Citation percentile (by year/subfield): 49.75
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid