Towards creating specialised integrity checks through partial evaluation of meta-interpreters (1995)

by M Leuschel, D De Schreye
Venue:In Proceedings of PEPM’95, the ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation