. Run-time Manipulation of Programs in a Statically-Typed Language. Informatica. 33, 3 ().