Recent & Upcoming Talks

A Rewriting Logic Approach to Static Checking of Units of Measurement in C

Jul 18, 2008

Towards a Module System for K

Jun 13, 2008

Memory Representations in Rewriting Logic Semantics Definitions

Mar 29, 2008

A Rewriting Approach to the Design and Evolution of Object-Oriented Languages

Jul 30, 2007

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

Jun 26, 2007

On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance

Jun 5, 2007