Tag
Introduces Semantic Reification, a new paradigm for random program generation, as detailed in this research paper.