Recent & Upcoming Talks

Mark Hills, Grigore Rosu
Jun 13, 2008
Towards a Module System for K
PDF
Mark Hills
Mar 29, 2008
Memory Representations in Rewriting Logic Semantics Definitions
PDF
Mark Hills, Grigore Rosu
Jul 30, 2007
A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
PDF
Mark Hills, Grigore Rosu
Jun 26, 2007
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis
PDF
Mark Hills, Grigore Rosu
Jun 5, 2007
On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
PDF