Staged abstract interpreters: fast and modular whole-program analysis via meta-programming

It is well known that a staged interpreter is a compiler: specializing an interpreter to a given program produces an equivalent executable that runs faster. This connection is known as the first Fu...