BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Estonia
1 × France
1 × Germany
1 × Portugal
1 × United Kingdom
2 × Sweden
2 × Switzerland
Collaborated with:
P.Klint J.J.Vinju G.Rosu T.Serbanuta T.v.d.Storm
Talks about:
analysi (5) php (4) program (3) languag (3) rewrit (3) rascal (3) interpret (2) static (2) logic (2) flow (2)

Person: Mark Hills

DBLP DBLP: Hills_0001:Mark

Contributed to:

ASE 20142014
CSMR-WCRE 20142014
SLE 20142014
ISSTA 20132013
SLE 20122012
WRLA 20122012
SLE 20112011
TOOLS Europe 20112011
RTA 20102010
RTA 20072007
WRLA 20062007

Wrote 11 papers:

ASE-2014-HillsKV #lightweight #php
Static, lightweight includes resolution for PHP (MH, PK, JJV), pp. 503–514.
CSMR-WCRE-2014-HillSK #php #rascal
PHP AiR: Analyzing PHP systems with Rascal (MH, PK), pp. 454–457.
SLE-2014-Hills #control flow #graph
Streamlining Control Flow Graph Construction with DCFlow (MH), pp. 322–341.
ISSTA-2013-HillsKV #empirical #perspective #php #static analysis
An empirical study of PHP feature usage: a static analysis perspective (MH, PK, JJV), pp. 325–335.
SLE-2012-HillsKV #metalanguage #type safety
Meta-language Support for Type-Safe Access to External Resources (MH, PK, JJV), pp. 372–391.
WRLA-2012-HillsKV #program analysis #rascal
Program Analysis Scenarios in Rascal (MH, PK, JJV), pp. 10–30.
SLE-2011-HillsKV #named #program analysis #rascal
RLSRunner: Linking Rascal with K for Program Analysis (MH, PK, JJV), pp. 344–353.
TOOLS-EUROPE-2011-HillsKSV #interpreter #visitor
A Case of Visitor versus Interpreter Pattern (MH, PK, TvdS, JJV), pp. 228–243.
RTA-2010-HillsR #approach #composition #logic #program analysis #semantics
A Rewriting Logic Semantics Approach to Modular Program Analysis (MH, GR), pp. 151–160.
RTA-2007-HillsR #analysis #logic #named #prototype
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis (MH, GR), pp. 246–256.
WRLA-2006-HillsSR07 #framework #generative #performance
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (MH, TS, GR), pp. 215–231.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.