Partial evaluation for software engineering

Incremental partial evaluation: the key to high performance, modularity and portability in operating systems

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Data specialization

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation

A general approach for run-time specialization and its application to C

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A framework for application generator design

Proceedings of the 1997 symposium on Software reusability

Scaling up partial evaluation for optimizing the Sun commercial RPC protocol

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Declarative specialization of object-oriented programs

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Tempo: specializing systems applications and beyond

ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue

Connecting Tools Using Message Passing in the Field Environment

IEEE Software

Selected Papers from the Internaltional Seminar on Partial Evaluation

Selected Papers from the Internaltional Seminar on Partial Evaluation

What Not to Do When Writing an Interpreter for Specialisation

Selected Papers from the Internaltional Seminar on Partial Evaluation

A Uniform Approach for Compile-Time and Run-Time Specialization

Selected Papers from the Internaltional Seminar on Partial Evaluation

Mapping software architectures to efficient implementations via partial evaluation

ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)

Application of formal methods to the development of a software maintenance tool

ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)

A domain specific language for video device drivers: from design to implementation

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997

Harissa: a flexible and efficient java environment mixing bytecode and compiled code

COOTS'97 Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3