Delta Lenses over Inductive Types

• Type: Article in International Scientific Journal
• Date: 2012

Authors

Pacheco, H (Author) Other; Cunha, A (Author) Other; Hu, Z (Author) Other

Journal

The Journal is awaiting validation by the Administrative Services.

Title: ECEASST

Vol. 49

ISSN: 1863-2122

Indexing

Scopus - 10 Citations

Other information

Authenticus ID: P-00M-PR2

DOI: 10.14279/tuj.eceasst.49.713.719

Abstract (EN): Existing bidirectional languages are either state-based or operation-based, depending on whether they represent updates as mere states or as sequences of edit operations. In-between both worlds are delta-based frameworks, where updates are represented using alignment relationships between states. In this paper, we formalize delta lenses over inductive types using dependent type theory and develop a point-free delta lens language with an explicit separation of shape and data. In contrast with the already known issue of data alignment, we identify the new problem of shape alignment and solve it by lifting standard recursion patterns such as folds and unfolds to delta lenses that use alignment to infer meaningful shape updates. © Bidirectional Transformations 2012.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 17