Search the dblp DataBase

Publications of Author

1. Mark Hills, Grigore Rosu
   On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:107-121 [Conf]
   
2. Mark Hills, Grigore Rosu
   A rewriting approach to the design and evolution of object-oriented languages. [Citation Graph (0, 0)][DBLP]
   OOPSLA Companion, 2007, pp:827-828 [Conf]
   
3. Mark Hills, Grigore Rosu
   KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. [Citation Graph (0, 0)][DBLP]
   RTA, 2007, pp:246-256 [Conf]
   
4. Mark Hills, Traian Serbanuta, Grigore Rosu
   A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:4, pp:215-231 [Journal]
   
5. 
   A Rewriting Logic Semantics Approach to Modular Program Analysis. [Citation Graph (, )][DBLP]
   
   
6. 
   Towards a Module System for K. [Citation Graph (, )][DBLP]
   
   
7. 
   Memory Representations in Rewriting Logic Semantics Definitions. [Citation Graph (, )][DBLP]