Incremental updates for efficient bidirectional transformations

DOI10.1145/2034773.2034825zbMath1323.68234OpenAlexW3161449428MaRDI QIDQ5176990

Nicolas Wu, Jeremy Gibbons, Meng Wang

Publication date: 5 March 2015

Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://research.chalmers.se/en/publication/143549

zbMATH Keywords

program transformationfunctional programmingbidirectional programmingincremental computingview-update problem

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Information storage and retrieval of data (68P20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Incremental updates for efficient bidirectional transformations