Defines an implementation of AP and proves it correct. A superset is implemented in the Demeter Tools/C++ by Cun Xiao ( Cun's thesis).

This paper is still an excellent introduction to the theory behind adaptive programming but the results have been improved by Traversals of Object Structures: Specification and Efficient Implementation . The key improvements are: an exponential improvement in the compilation time and a completely general compilation algorithm.

Bibtex entry:

@string{toplas = "ACM Transactions on Programming Languages and Systems"}

AUTHOR = "Jens Palsberg and Cun Xiao and Karl Lieberherr",
TITLE = "Efficient Implementation of Adaptive Software",
JOURNAL = toplas ,
YEAR = 1995,
PAGES = "264--292",
MONTH = mar,
VOLUME = 17,