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...

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 913; s. 113 - 137
Hlavní autoři:	Xie, Ruifeng, Hu, Zhenjiang
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 20.04.2022
Témata:	Bidirectional transformations Program calculation Programming language theory Bidirectional transformations Programming language theory Program calculation
ISSN:	0304-3975, 1879-2294
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!