Yukiyoshi Kameyama
Debugging XML compilers automata functional programming logic logic programming meta-programming partial methods program analysis program correctness program transformations programming programming language semantics type systems