Charles N. Fischer
-
Describing data flow analysis techniques with Kleene algebra
Science of Computer Programming
Semantic hooks using a mini-language for a compiler project
Journal of Computing Sciences in Colleges