Keisuke Nakano's Web Site - Interests Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

* Tree transducers / attribute grammars
* Formal tree language theory
* (Functional) programming
* Program transformation (fusion / deforestation)
* Program verification
* Structured document (XML) transformation
* Bidirectional transformation

See also the [[Publication]] page.