Program synthesis technology promises to accelerate the development of software systems by automating supporting concerns not directly related to the problem or domain under consideration. In this thesis, we present a novel methodological approach to multi-domain program synthesis and demonstrate the capability of our approach to accelerate the software development process by mitigating the need to write and maintain boilerplate code. Simultaneously, we demonstrate how our approach promotes increased system modularity and extensibility all while leading to simpler system implementations.

Creator

• Mercaldo, Nathanael

Contributors

• Bohrer, Rose
• Heineman, George T.

Degree

• MS

Unit

• Computer Science

Publisher

• Worcester Polytechnic Institute

Identifier

• etd-112996

Advisor

• Heineman, George T.

Defense date

• 2023-08-21

Year

• 2023

Date created

• 2023-08-22

Resource type

• Thesis

Source

• etd-112996

Rights statement

• In Copyright

Last modified

• 2023-09-15