Bidirectional Computation

Selected Papers | Software
Inspired by the view updating techniques, program inversion and transformational programming, we are now working on development of a new general framework that can support bidirectional computation (bidirectional transformation language, bidirectionalization transformation, and bidirectionality analysis), and focus on its application to dependable XML processing and to bidirectional model transformation in software engineering.

The current subprojects are as follows.

Selected Papers

More papers are available here.


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