dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Mark Hills Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju: A One-Stop-Shop for Software Evolution Tool Construction. ERCIM News 2012(88): (2012)
2011
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju: Rascal: From Algebraic Specification to Meta-Programming AMMSE 2011: 15-32
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Hills, Paul Klint, Jurgen J. Vinju: RLSRunner: Linking Rascal with K for Program Analysis. SLE 2011: 344-353
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju: A Case of Visitor versus Interpreter Pattern. TOOLS (49) 2011: 228-243
2010
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Hills, Grigore Rosu: A Rewriting Logic Semantics Approach to Modular Program Analysis. RTA 2010: 151-160
2009
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Hills: Memory Representations in Rewriting Logic Semantics Definitions. Electr. Notes Theor. Comput. Sci. 238(3): 155-172 (2009)
2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Hills, Grigore Rosu: Towards a Module System for K. WADT 2008: 187-205
2007
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Hills, Grigore Rosu: On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. FMOODS 2007: 107-121
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Hills, Grigore Rosu: A rewriting approach to the design and evolution of object-oriented languages. OOPSLA Companion 2007: 827-828
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Hills, Grigore Rosu: KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. RTA 2007: 246-256
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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

1Jeroen van den Bos [10]
2Paul Klint [8] [9] [10] [11]
3Grigore Rosu [1] [2] [3] [4] [5] [7]
4Traian-Florin Serbanuta (Traian Serbanuta) [1]
5Tijs van der Storm [8] [10] [11]
6Jurgen J. Vinju [8] [9] [10] [11]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page