Semantic Reification: A new paradigm for random program generation (via jmillikin) — discussion
#compilers #pdf #testing