Translating Abstractions
into Concrete Solutions .