Mark Hills

	2009
6		Mark Hills: Memory Representations in Rewriting Logic Semantics Definitions. Electr. Notes Theor. Comput. Sci. 238(3): 155-172 (2009)
	2008
5		Mark Hills, Grigore Rosu: Towards a Module System for K. WADT 2008: 187-205
	2007
4		Mark Hills, Grigore Rosu: On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. FMOODS 2007: 107-121
3		Mark Hills, Grigore Rosu: A rewriting approach to the design and evolution of object-oriented languages. OOPSLA Companion 2007: 827-828
2		Mark Hills, Grigore Rosu: KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. RTA 2007: 246-256
1		Mark Hills, Traian Serbanuta, Grigore Rosu: A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. Electr. Notes Theor. Comput. Sci. 176(4): 215-231 (2007)

Coauthor Index

1	Grigore Rosu	[1] [2] [3] [4] [5]
2	Traian-Florin Serbanuta (Traian Serbanuta)	[1]