Data-driven synthesis for object-oriented frameworks
Software construction today often involves the use of large frameworks. The challenge in this type of programming is that object-oriented frameworks tend to grow exceedingly intricate; they spread functionality among numerous classes, and any use of the framework requires knowledge of many interacti...
Main Authors: | Yessenov, Kuat T., Xu, Zhilei, Solar-Lezama, Armando |
---|---|
Other Authors: | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science |
Format: | Article |
Language: | en_US |
Published: |
Association for Computing Machinery (ACM)
2012
|
Online Access: | http://hdl.handle.net/1721.1/72666 https://orcid.org/0000-0001-5959-5254 https://orcid.org/0000-0001-7604-8252 https://orcid.org/0000-0002-6931-2278 |
Similar Items
-
Program synthesis from execution traces and demonstrations
by: Yessenov, Kuat T
Published: (2016) -
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations
by: Chowdhury, Rezaul, et al.
Published: (2017) -
A lightweight specification language for bounded program verification
by: Yessenov, Kuat T
Published: (2010) -
Modular Synthesis of Sketches Using Models
by: Singh, Rohit, et al.
Published: (2014) -
Aspect-Oriented Language for Reactive Distributed Applications at the Edge
by: Kuraj, Ivan, et al.
Published: (2022)