Generic recursive lens combinators and their calculation laws

•We provide a set of generic recursive lens combinators for constructing bidirectional programs.•We extend existing recursive lens combinators to support contract lenses.•We provide various calculation laws for reasoning about contract lenses.•We define new contract-lens combinators for upwards and...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theoretical computer science Jg. 913; S. 113 - 137
Hauptverfasser:	Xie, Ruifeng, Hu, Zhenjiang
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 20.04.2022
Schlagworte:	Bidirectional transformations Program calculation Programming language theory Bidirectional transformations Programming language theory Program calculation
ISSN:	0304-3975, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!