Mark Hills
Mark Hills
Home
Teaching
Publications
Presentations
Contact
CV
Light
Dark
Automatic
On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
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.
Grigore Rosu
Cite
×