Defines a more general implementation than [ Efficient Implementation of AP ]. Implementation is also proven correct. Compilation algorithm is not efficient.
Bibtex entry:

CONFERENCE version:

@INPROCEEDINGS{gener-comp:jens-boaz-karl,
AUTHOR = "Jens Palsberg and Boaz {Patt-Shamir} and Karl Lieberherr",
TITLE = "A New Approach
to Compiling Adaptive Programs",
BOOKTITLE = "European Symposium on Programming",
YEAR = "1996",
ADDRESS = "Linkoping, Sweden",
PAGES = "280-295",
EDITOR = "Hanne Riis Nielson",
PUBLISHER = "Springer Verlag"
}

JOURNAL version:

@ARTICLE{gener-comp-j:jens-boaz-karl,
AUTHOR = "Jens Palsberg and Boaz {Patt-Shamir} and Karl Lieberherr",
TITLE = "A New Approach
to Compiling Adaptive Programs",
JOURNAL = "Science of Computer Programming",
YEAR = 1997,
PAGES = "303-326",
MONTH = "",
VOLUME = 29,
NUMBER = "3"
}