Partial Evaluation of Metaprograms in a Multiple Worlds Logic Language

Giorgio Levi, Giuseppe Sardu. Partial Evaluation of Metaprograms in a Multiple Worlds Logic Language. New Generation Comput., 6(2&3):227-247, 1988.

Abstract

Abstract is missing.