Publications, Mark Hills

From FSL

Jump to: navigation, search

[edit] Papers

Pluggable Policies for C
Image:blank.gifMark Hills, Feng Chen and Grigore Rosu
Image:blank.gifTechnical report UIUCDCS-R-2008-2931, January 2008
Image:blank.gifPDF, TR@UIUC, BIB
A K Definition of Scheme
Image:blank.gifPatrick Meredith, Mark Hills, Grigore Rosu
Image:blank.gifTechnical report UIUCDCS-R-2007-2907, October 2007
Image:blank.gifPDF, TR@UIUC, BIB
An Executable Rewriting Logic Semantics of K-Scheme
Image:blank.gifPatrick Meredith, Mark Hills, Grigore Rosu
Image:blank.gif8th Workshop on Scheme and Functional Programming, DIUL-RT-0701, pp. 91-103, September 2007
Image:blank.gifPDF, BIB
A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
Image:blank.gifMark Hills and Grigore Rosu
Image:blank.gifTechnical report Bericht-Nr. 2007-7, pp. 23-26, July 2007.
Image:blank.gifPDF, ECOOP'07 Doctoral Symposium Presentation, ECOOP'07 Doctoral Symposium, BIB
A Formal Rewriting Logic Semantic Definition of Scheme
Image:blank.gifPatrick Meredith, Mark Hills and Grigore Rosu
Image:blank.gifTechnical report UIUCDCS-R-2007-2877, July 2007
Image:blank.gifPDF, ZIP, TR@UIUC, BIB
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis
Image:blank.gifMark Hills and Grigore Rosu
Image:blank.gifRTA'07, LNCS 4533, pp 246-256, 2007
Image:blank.gifPDF, RTA'07 Slides, RTA'07, BIB
On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
Image:blank.gifMark Hills and Grigore Rosu
Image:blank.gifFMOODS'07, LNCS 4468, pp 107-121, 2007
Image:blank.gifPDF, FMOODS'07 Slides, FMOODS'07, BIB
On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
Image:blank.gifMark Hills and Grigore Rosu
Image:blank.gifTechnical report UIUCDCS-R-2007-2809, January 2007
Image:blank.gifPDF, TR@UIUC, BIB
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
Image:blank.gifMark Hills, Traian Florin Serbanuta and Grigore Rosu
Image:blank.gifWRLA'06, ENTCS 176(4), pp. 215-231, 2007
Image:blank.gifPDF, Experiments, WRLA'06, BIB
A Rewriting Based Approach to OO Language Prototyping and Design
Image:blank.gifMark Hills and Grigore Rosu
Image:blank.gifTechnical report UIUCDCS-R-2006-2786, October 2006
Image:blank.gifPDF, TR@UIUC, BIB
KOOL: A K-based Object-Oriented Language
Image:blank.gifMark Hills and Grigore Rosu
Image:blank.gifTechnical report UIUCDCS-R-2006-2779, October 2006
Image:blank.gifPDF, BIB
A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages
Image:blank.gifFeng Chen, Mark Hills and Grigore Rosu
Image:blank.gifImage:New.gif Technical report UIUCDCS-R-2006-2702, March 2006
Image:blank.gifPDF, TR@UIUC, BIB
Automatic and Precise Dimensional Analysis
Image:blank.gifMarcelo d'Amorim, Mark Hills, Feng Chen and Grigore Rosu
Image:blank.gifTechnical report UIUCDCS-R-2005-2668, December 2005
Image:blank.gifPDF, Sources, TR@UIUC, BIB
An Executable Semantic Definition of the Beta Language using Rewriting Logic
Image:blank.gifMark Hills, T. Baris Aktemur and Grigore Rosu
Image:blank.gifTechnical report UIUCDCS-R-2005-2650, November 2005
Image:blank.gifPDF, TR@UIUC, BIB
An Orchestration Language for Parallel Objects
Image:blank.gifL.V. Kale, Mark Hills and Chao Huang
Image:blank.gifLCR'04
Image:blank.gifPDF, PPL Paper Page, LCR'04, BIB


[edit] Presentations

Retrieved from "http://fsl.cs.uiuc.edu/index.php/Publications%2C_Mark_Hills"
Views
Personal tools