generated at
program refinement
reification (computer science)