Search

• < Previous
• 1
• Next >

Program Logics for Homogeneous Generative Run-Time Meta-Programming

This paper provides the first program logic for homogeneous generative run-time meta-programming---using a variant of MiniML by Davies and Pfenning as its underlying meta-programming language. We show the applicability of our approach by reasoning about example meta-programs from the literature. We&nbsp;[&hellip;]