Meta-metaprogramming
Name
Koppel-jkoppel-PhD-EECS-2021-thesis.pdf
Description
Thesis PDF
Size
2.7 MB
Format
Adobe PDF
Checksum (MD5)
cc28ee4ddbef20489a475a31cf5bb009
Author(s)
Koppel, James
Advisor(s)
Solar-Lezama, Armando
Date Issued
September 2021
Publisher
Massachusetts Institute of Technology
Abstract
Programming languages researchers have developed many advanced tools that promise to greatly ease software engineering. Yet even conceptually simple tools are expensive to implement fully due to the complexity of the target language, and standard techniques tie an implementation to a particular target language. In order to make the development of advanced programming tools economical, these problems demand new techniques for decomposing the development of tools and automating portions of their construction, which I collectively dub "meta-metaprogramming."
In this thesis, I present three new meta-metaprogramming techniques reducing the work needed to build programming tools, each applicable to the specific problem of sharing implementation code between similar tools for different languages. These techniques respectively allow a single implementation of a transformation to losslessly rewrite code in many languages, automatically generate a family of programming tools from a language's semantics, and develop a new representation for sets of programs which is applicable to a variety of languages and synthesis tasks.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
In Copyright - Educational Use Permitted
Copyright MIT
Persistent DSpace Link
