Declarative specialization for object-oriented-program specialization