Mark Hills
Mark Hills
Assistant Professor, East Carolina University
Geverifieerd e-mailadres voor ecu.edu - Homepage
TitelGeciteerd doorJaar
An empirical study of PHP feature usage: a static analysis perspective
M Hills, P Klint, J Vinju
Proceedings of the 2013 International Symposium on Software Testing and …, 2013
472013
An executable rewriting logic semantics of K-Scheme
P Meredith, MHG Rosu
Workshop on Scheme and Functional Programming 1 (2007/9), 10, 2007
302007
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis
M Hills, G Rosu
RTA 2007: The 18th International Conference on Term Rewriting and …, 2007
272007
PHP AiR: Analyzing PHP Systems with Rascal
M Hills, P Klint
Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE …, 2014
262014
Scripting a Refactoring with Rascal and Eclipse
M Hills, P Klint, JJ Vinju
WRT 2012: The Fifth Workshop on Refactoring Tools, 40-49, 2012
262012
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
M Hills, T Serbanuta, G Rosu
WRLA 2006: The 6th International Workshop on Rewriting Logic and its …, 2006
252006
Modular language implementation in Rascal–experience report
B Basten, J van den Bos, M Hills, P Klint, A Lankamp, B Lisser, ...
Science of Computer Programming 114, 7-19, 2015
222015
A Case of Visitor versus Interpreter Pattern
M Hills, P Klint, T van der Storm, J Vinju
TOOLS Europe 2011: The 49th International Conference on Objects, Models …, 2011
192011
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
M Hills, F Chen, G Rosu
RULE 2008: The Ninth International Workshop on Rule-Based Programming 8, 2008
19*2008
Rascal: From Algebraic Specification to Meta-Programming (Invited Paper)
J van den Bos, M Hills, P Klint, T van der Storm, JJ Vinju
AMMSE 2011: The 2nd Workshop on Algebraic Methods in Model-Based Software …, 2011
18*2011
A K Definition of Scheme
PON Meredith, M Hills, G Roşu
182007
Evolution of dynamic feature usage in PHP
M Hills
2015 IEEE 22nd International Conference on Software Analysis, Evolution, and …, 2015
172015
A Rewriting Logic Semantics Approach to Modular Program Analysis
M Hills, G Rosu
RTA 2010: The 21st International Conference on Rewriting Techniques and …, 2010
172010
M3: A general model for code analytics in rascal
B Basten, M Hills, P Klint, D Landman, A Shahi, M Steindorfer, J Vinju
2015 IEEE 1st International Workshop on Software Analytics (SWAN), 25-28, 2015
152015
Static, lightweight includes resolution for PHP
M Hills, P Klint, JJ Vinju
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
132014
Meta-Language Support for Type-Safe Access to External Resources
M Hills, P Klint, JJ Vinju
SLE 2012: The 5th International Conference on Software Language Engineering, 2012
122012
Towards a Module System for K
M Hills, G Roşu
WADT 2008: The 19th International Workshop on Algebraic Development …, 2008
112008
On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
M Hills, G Roşu
FMOODS 2007: The 9th IFIP International Conference on Formal Methods for …, 2007
112007
Streamlining control flow graph construction with DCFlow
M Hills
International Conference on Software Language Engineering, 322-341, 2014
102014
RLSRunner: Linking Rascal with K for Program Analysis
M Hills, P Klint, J Vinju
SLE 2011: The 4th International Conference on Software Language Engineering …, 2011
10*2011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20