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

Name: On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
Start: 2007-06-05T00:00:00Z
End: 2007-06-08T00:00:00Z
Location: Paphos, Cyprus

Mark Hills, Grigore Rosu

PDF

Date

Jun 5, 2007 — Jun 8, 2007

Event

9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007)

Location

Paphos, Cyprus

Mark Hills

Associate Professor

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