Keith J. C. Johnson

Modular design enhances the efficiency and scalability of program synthesis.

This paper presents a method to automatically create formal semantics using interpreters.

Exploring new methods for efficient program generation.