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


Date
Jun 26, 2007 — Jun 28, 2007
Event
18th International Conference on Term Rewriting and Applications (RTA 2007)
Location
Paris, France
Mark Hills
Mark Hills
Associate Professor

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