Germán Puebla, Manuel V. Hermenegildo. Abstract specialization and its applications. In Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003. pages 29-43, ACM, 2003. [doi]
Abstract is missing.