KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

Mark Hills

Associate Professor

My research interests include programming languages, program analysis, and software engineering.

Grigore Rosu