Student Work

Applying Combinatory Logic Synthesis To Work With Existing Software Frameworks


Downloadable Content

open in viewer

Software engineering is routinely based on the premise that one starts a development process by modeling the desired application domain of interest. Iteratively and incrementally over time, further details are added in a seamless transition to a final solution domain in which the final executable application is completed. This image is complicated when integrating third-party frameworks because the designers must learn the abstractions underlying these frameworks to properly use them. We demonstrate an approach that allows for the synthesize of code which otherwise would have been written manually, simply to satisfy the framework's concrete implementation. The approach is validated with a small case study.

  • This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.
  • E-project-101617-214733
  • 2017
Date created
  • 2017-10-16
Resource type
Rights statement


In Collection:

Permanent link to this page: