Partial evaluation provides a unifying paradigm for a broad spectrum of work in program
optimization compiling interpretation and the generation of automatic program generators …

Software engineers are faced with a dilemma. They want to write general and wellstructured
programs that are flexible and easy to maintain. On the other hand, generality has a price …

Partial evaluation reconciles generality with efficiency by providing automatic specialization
and optimization of programs. Proceeding from a gentle introduction for reaching state-of-the …

We review a model of computation used in industrial practice in signal processing software
environments and experimentally and other contexts. We give this model the name" dataflow …

The goal of software synthesis is to generate programs automatically from high-level
specifications. However, efficient implementations for challenging programs require a …

Go back to An-fang, the Peace Square at An-Fang, the Beginning Place at An-Fang, where
all things start (…) An-Fang was near a city, the only living city with a pre-atomic name (…) …

We introduce MetaML, a practically motivated, statically typed multi-stage programming
language. MetaML is a “real” language. We have built an implementation and used it to …

We introduce MetaML, a statically-typed multi-stage programming language extending
Nielson and Nielson's two stage notation to an arbitrary number of stages. MetaML extends …

One of the important ways to make software soft,(ie, easy to change, reuse, and develop), is
to automate the various program transformations that occur as software evolves. Automating …

Abstract System family engineering seeks to exploit the commonalities among systems from
a given problem domain while managing the variabilities among them in a systematic way …