High level data structures are a cornerstone of modern programming and at the same time
stand in the way of compiler optimizations. In order to reason about user-or library-defined …

Programs expressed in a high-level programming language need to be translated to a low-
level machine dialect for execution. This translation is usually accomplished by a compiler …

This paper overviews the application of Search Based Software Engineering (SBSE) to
reverse engineering with a particular emphasis on the growing importance of recent …

An Analytical Approach to Programs as Data Objects Page 1 Olivier Danvy Doctoral thesis An
Analytical Approach to Programs as Data Objects Department of Computer Science Page 2 An …

The main objective of design pattern detection is to gain better comprehension of a software
system, and of the kind of problems addressed during the development of the system itself …

Embedded domain-specific languages (DSLs) are the subject of wide-spread interest, and a
variety of implementation techniques exist. Some of them have been invented, and some of …

We present the first derivation of the search phase of the Boyer–Moore string-matching
algorithm by partial evaluation of an inefficient string matcher. The derivation hinges on …

The database is a critical component of many modern software applications. Recent reports
indicate that the vast majority of database use occurs from within an application program …

This book presents the principles and techniques of program specialization—a general
method to make programs faster (and possibly smaller) when some inputs can be known in …

We develop a type theoretic specification of offline partial evaluation for the simply-typed
lambda calculus in the dependently-typed programming language Agda. We establish the …