• Introduction

• Substitution and Pattern Matching

• Program Analysis and Optimization

• Partial Evaluation

• OOP and Aspect-oriented Programming

• Glisp, Views, and Graphical Programming

• Program Generation from Logic Specifications

• Active Researcher Lectures

• Research Literature

Contents    Prev    Next    Page+10    Index