Towards Automatic Synthesis of View Update Programs on Relations

von Trong, Bach Nguyen
Veröffentlicht in SFDI (5. : 2021 : Kopenhagen; Online) Software foundations for data interoperability (2022)

An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update

von Tsushima, Kanae
Veröffentlicht in FLOPS (15. : 2020 : Online) Functional and logic programming (2020)