A wide-spectrum language [for specification, procedural, and assembly code] might not seem to … [for program transformation] … However, working with distinct languages poses two problems. … transformations must apply incrementally, slowly migrating the program … one language to another is extremely limited. …
Google-1
Google-2
Copyright clearance needed for quotation.