Correctness of On-Line Partial Evaluation for a Pascal-Like Language

Uwe Meyer. Correctness of On-Line Partial Evaluation for a Pascal-Like Language. Science of Computer Programming, 34(1):55-73, 1999.

Abstract

Abstract is missing.