Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem.

Kazutaka Matsuda, Meng Wang

Browse the full PPDP paper archive.