Mark Hills
Mark Hills
Associate Professor, Appalachian State University
Verified email at - Homepage
Cited by
Cited by
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
PHP AiR: Analyzing PHP Systems with Rascal
M Hills, P Klint
Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE …, 2014
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
Scripting a Refactoring with Rascal and Eclipse
M Hills, P Klint, JJ Vinju
WRT 2012: The Fifth Workshop on Refactoring Tools, 40-49, 2012
An executable rewriting logic semantics of K-Scheme
P Meredith, MHG Rosu
Workshop on Scheme and Functional Programming 1 (2007/9), 10, 2007
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
Evolution of dynamic feature usage in PHP
M Hills
2015 IEEE 22nd International Conference on Software Analysis, Evolution, and …, 2015
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
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
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
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
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
Static, lightweight includes resolution for PHP
M Hills, P Klint, JJ Vinju
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
Query Construction Patterns in PHP
D Anderson, M Hills
2017 IEEE 24th International Conference on Software Analysis, Evolution and …, 2017
A Rewriting Logic Semantics Approach to Modular Program Analysis
M Hills, G Rosu
RTA 2010: The 21st International Conference on Rewriting Techniques and …, 2010
Enabling PHP software engineering research in Rascal
M Hills, P Klint, JJ Vinju
Science of Computer Programming 134, 37-46, 2017
A K Definition of Scheme
PON Meredith, M Hills, G Roşu
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
Streamlining control flow graph construction with DCFlow
M Hills
International Conference on Software Language Engineering, 322-341, 2014
Towards a Module System for K
M Hills, G Roşu
WADT 2008: The 19th International Workshop on Algebraic Development …, 2008
The system can't perform the operation now. Try again later.
Articles 1–20