Nr. 552 (2000): PB-552 Partial Evaluation for Class-Based Object-Oriented Languages