Attribute grammar inversion and source-to-source translation

Attribute grammar paradigms—a high-level methodology in language implementation

ACM Computing Surveys (CSUR)

Source-to-source translation of visual languages

Nordic Journal of Computing

Path-based inductive synthesis for program inversion

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation

Polynomial-time inverse computation for accumulative functions with multiple data traversals

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation

A grammar-based approach to invertible programs

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems

GenComp --- a generic transformation system

EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I

Generating attribute grammar-based bidirectional transformations from rewrite rules

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation