Delta Lenses over Inductive Types

• Tipo: Artigo em Revista Científica Internacional
• Data: 2012

Autores

Pacheco, H (Autor) Outra; Cunha, A (Autor) Outra; Hu, Z (Autor) Outra

Revista

A Revista está pendente de validação pelos Serviços Administrativos.

Título: ECEASST

Vol. 49

ISSN: 1863-2122

Indexação

Scopus - 10 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 17