Bidirectional Computation

Inspired by the view updating techniques, program inversion and adaptive software systems, we are now working on development of a new general framework that can support bidirectional computation (bidirectional transformation language, bidirectionalization transformation, and bidirectionality analysis).

The current subprojects are as follows.

Selected Papers

More papers are available here.


Maintained by Zhenjiang Hu. Last modified on October, 2007.