Mark Hills

chapter

Supporting Analysis of SQL Queries in PHP AiR

David Anderson, Mark Hills

2017 IEEE 17th International Working Conference on Source Code Analysis and Manipulation (SCAM) > 153 - 158

2017 IEEE 17th International Working Conference on Source Code Analysis and Manipulation (SCAM)

The code behind dynamic webpages often includes calls to database libraries, with queries formed using a combination of static text and values computed at runtime. In this paper, we describe our work on a program analysis for extracting models of database queries that can compactly represent all queries that could be used in a specific database library call. We also describe our work on parsing partial...

article

Enabling PHP software engineering research in Rascal

Mark Hills, Paul Klint, Jurgen J. Vinju

Science of Computer Programming > 2017 > 134 > Complete > 37-46

Today, PHP is one of the most popular programming languages, and is commonly used in the open source community and in industry to build large application frameworks and web applications. In this paper, we discuss our ongoing work on PHP AiR, a framework for PHP Analysis in Rascal. PHP AiR is focused especially on program analysis and empirical software engineering, and is being used actively and effectively...

chapter

Query Construction Patterns in PHP

David Anderson, Mark Hills

2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER) > 452 - 456

2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER)

Most PHP applications use databases, with developers including both static queries, given directly in the code, and dynamic queries, which are based on a mixture of static text, computed values, and user input. In this paper, we focus specifically on how developers create queries that are then used with the original MySQL API library. Based on a collection of open-source PHP applications, our initial...

article

Analysis of genome structure and rearrangements using single cell sequencing approaches

Peter Lansdorp, David Porubsky, Ashley Sanders, Niek Van Wietmarschen, more

Experimental Hematology > 2016 > 44 > 9(S) > S35

chapter

Navigating the WordPress plugin landscape

Mark Hills

2016 IEEE 24th International Conference on Program Comprehension (ICPC) > 1 - 10

2016 IEEE 24th International Conference on Program Comprehension (ICPC)

WordPress includes a plugin mechanism that allows user-provided code to be executed in response to specific system events and input/output requests. The large number of extension points provided by WordPress makes it challenging for new plugin developers to understand which extension points they should use, while the thousands of existing plugins make it hard to find existing extension point handler...

chapter

On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance

Mark Hills, Grigore Roşu

Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Rewriting Logic > 107-121

Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different designs for the same language feature can cause drastic differences in analysis performance. This paper describes some of these design decisions in the context of KOOL, a concurrent, dynamic, object-oriented language. Also described...

chapter

Towards a Module System for K

Mark Hills, Grigore Roşu

Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 187-205

Research on the semantics of programming languages has yielded a wide array of notations and methodologies for defining languages and language features. An important feature many of these notations and methodologies lack is modularity: the ability to define a language feature once, insulating it from unrelated changes in other parts of the language, and allowing it to be reused in other language definitions...

chapter

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

Mark Hills, Grigore Roşu

Lecture Notes in Computer Science > Term Rewriting and Applications > 246-256

This paper presents KOOL, a concurrent, dynamic, object-oriented language defined in rewriting logic. KOOL has been designed as an experimental language, with a focus on making the language easy to extend. This is done by taking advantage of the flexibility provided by rewriting logic, which allows for the rapid prototyping of new language features. An example of this process is illustrated by sketching...

chapter

A Case of Visitor versus Interpreter Pattern

Mark Hills, Paul Klint, Tijs Storm, Jurgen Vinju

Lecture Notes in Computer Science > Objects, Models, Components, Patterns > 228-243

We compare the Visitor pattern with the Interpreter pattern, investigating a single case in point for the Java language. We have produced and compared two versions of an interpreter for a programming language. The first version makes use of the Visitor pattern. The second version was obtained by using an automated refactoring to transform uses of the Visitor pattern to uses of the Interpreter pattern...

article

Modular language implementation in Rascal – experience report

Bas Basten, Jeroen van den Bos, Mark Hills, Paul Klint, more

Science of Computer Programming > 2015 > 114 > C > 7-19

All software evolves, and programming languages and programming language tools are no exception. And just like in ordinary software construction, modular implementations can help ease the process of changing a language implementation and its dependent tools. However, the syntactic and semantic dependencies between language features make this a challenging problem. In this paper we detail how programming...

chapter

Variable Feature Usage Patterns in PHP (T)

Mark Hills

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) > 563 - 573

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)

PHP allows the names of variables, classes, functions, methods, and properties to be given dynamically, as expressions that, when evaluated, return an identifier as a string. While this provides greater flexibility for programmers, it also makes PHP programs harder to precisely analyze and understand. In this paper we present a number of patterns designed to recognize idiomatic uses of these features...

chapter

M3: A general model for code analytics in rascal

Bas Basten, Mark Hills, Paul Klint, Davy Landman, more

2015 IEEE 1st International Workshop on Software Analytics (SWAN) > 25 - 28

2015 IEEE 1st International Workshop on Software Analytics (SWAN)

This short paper introduces M3, a simple and extensible model for capturing facts about source code for future analysis. M3 is a core part of the standard library of the Rascal meta programming language.We motivate it, position it to related work and detail the key design aspects.

chapter

Evolution of dynamic feature usage in PHP

Mark Hills

2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER) > 525 - 529

2015 IEEE 22nd International Conference on Software Analysis, Evolution and Reengineering (SANER)

PHP includes a number of dynamic features that, if used, make it challenging for both programmers and tools to reason about programs. In this paper we examine how usage of these features has changed over time, looking at usage trends for three categories of dynamic features across the release histories of two popular open-source PHP systems, WordPress and MediaWiki. Our initial results suggest that,...

article

Preface

Mark Hills

Electronic Notes in Theoretical Computer Science > 2014 > 304 > Complete > 1-2

chapter

PHP AiR: Analyzing PHP systems with Rascal

Mark Hills, Paul Klint

2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE) > 454 - 457

2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE)

PHP is currently one of the most popular programming languages, widely used in both the open source community and in industry to build large web-focused applications and application frameworks. To provide a solid framework for working with large PHP systems in areas such as evaluating how language features are used, studying how PHP systems evolve, program analysis for refactoring and security validation,...

article

A Rewriting Logic Approach to Static Checking of Units of Measurement in C

Mark Hills, Feng Chen, Grigore Roşu

Electronic Notes in Theoretical Computer Science > 2012 > 290 > Complete > 51-67

Many C programs assume the use of implicit domain-specific information. A common example is units of measurement, where values can have both a standard C type and an associated unit. However, since there is no way in the C language to represent this additional information, violations of domain-specific policies, such as unit safety violations, can be difficult to detect. In this paper we present a...

article

Telomere length measurement—Caveats and a critical assessment of the available technologies and tools

Geraldine Aubert, Mark Hills, Peter M. Lansdorp

Mutation Research - Fundamental and Molecular Mechanisms of Mutagenesis > 2012 > 730 > 1-2 > 59-67

Studies of telomeres and telomere biology often critically rely on the detection of telomeric DNA and measurements of the length of telomere repeats in either single cells or populations of cells. Several methods are available that provide this type of information and it is often not clear what method is most appropriate to address a specific research question. The major variables that need to be...

article

Memory Representations in Rewriting Logic Semantics Definitions

Mark Hills

Electronic Notes in Theoretical Computer Science > 2009 > 238 > 3 > 155-172

The executability of rewriting logic makes it a compelling environment for language design and experimentation; the ability to interpret programs directly in the language semantics develops assurance that definitions are correct and that language features work well together. However, this executability raises new questions about language semantics that don't necessarily make sense with non-executable...

article

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

Mark Hills, Traian Şerbănuţă, Grigore Roşu

Electronic Notes in Theoretical Computer Science > 2007 > 176 > 4 > 215-231

A rewrite logic semantic definitional framework for programming languages is introduced, called K, together with partially automated translations of K language definitions into rewriting logic and into C. The framework is exemplified by defining SILF, a simple imperative language with functions. The translation of K definitions into rewriting logic enables the use of the various analysis tools developed...

article

Mutation mechanisms that underlie turnover of a human telomere-adjacent segmental duplication containing an unstable minisatellite

Mark Hills, Jennie N. Jeyapalan, Jennifer L. Foxon, Nicola J. Royle

Genomics > 2007 > 89 > 4 > 480-489

Subterminal regions, juxtaposed to telomeres on human chromosomes, contain a high density of segmental duplications, but relatively little is known about the evolutionary processes that underlie sequence turnover in these regions. We have characterized a segmental duplication adjacent to the Xp/Yp telomere, each copy containing a hypervariable array of the DXYS14 minisatellite. Both DXYS14 repeat...

INFONA - science communication portal

Search results for: Mark Hills

Supporting Analysis of SQL Queries in PHP AiR

Enabling PHP software engineering research in Rascal

Query Construction Patterns in PHP

Analysis of genome structure and rearrangements using single cell sequencing approaches

Navigating the WordPress plugin landscape

On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance

Towards a Module System for K

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

A Case of Visitor versus Interpreter Pattern

Modular language implementation in Rascal – experience report

Variable Feature Usage Patterns in PHP (T)

M3: A general model for code analytics in rascal

Evolution of dynamic feature usage in PHP

Preface

PHP AiR: Analyzing PHP systems with Rascal

A Rewriting Logic Approach to Static Checking of Units of Measurement in C

Telomere length measurement—Caveats and a critical assessment of the available technologies and tools

Memory Representations in Rewriting Logic Semantics Definitions

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

Mutation mechanisms that underlie turnover of a human telomere-adjacent segmental duplication containing an unstable minisatellite

Filter options

Publication date

Publication type

Keywords

Data set

Journal

INFONA - science communication portal

Search results for: Mark Hills

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Publication type

Keywords

Data set

Journal

Reporting an error / abuse

Sending the report failed

Accessibility options