Journal: Higher-Order and Symbolic Computation

Volume 13, Issue 4

287 -- 288Olivier Danvy, Carolyn L. Talcott. Editorial
289 -- 313Yanhong A. Liu. Efficiency by Incrementalization: An Introduction
315 -- 353John Hatcliff, Matthew B. Dwyer, Hongjun Zheng. Slicing Software for Model Construction
355 -- 368Torben Æ. Mogensen. Glossary for Partial Evaluation and Related Topics