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).
Reusable Self-Adaptation through Bidirectional Programming,
11th International Symposium on Software Engineering for Adaptive
and Self-Managing Systems
Austin, Texas, USA, May 16-17, 2016.
Supporting Selective Undo for Refactoring,
23rd IEEE International Conference on Software Analysis,
Evolution, and Reengineering
Osaka, Japan, March 14-18, 2016.
BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming,
ACM SIGPLAN 2016 Workshop on Partial Evaluation and Program
St. Petersburg, Florida, United States, January 18 - 19, 2016.
Consistent Web Site Updating based on Bidirectional Transformation,
International Journal on Software Tools for Technology Transfer
Vol.11, No.6, 2009. pp.453-468.
(This is an extended version of the paper presented in
10th IEEE International Symposium on Web Site Evolution
Beijing, China, October 3-4, 2008. )