%0 Thesis %1 phd/ndltd/Yessenov16 %A Yessenov, Kuat %D 2016 %K dblp %T Program synthesis from execution traces and demonstrations.

@phdthesis{phd/ndltd/Yessenov16, added-at = {2022-05-04T00:00:00.000+0200}, author = {Yessenov, Kuat}, biburl = {https://www.bibsonomy.org/bibtex/2ab706c5f4ec58dd735c1ef83fe3d5d29/dblp}, ee = {https://hdl.handle.net/1721.1/106098}, interhash = {b1ffa0943468b5ab7e0ae2aa18d16bac}, intrahash = {ab706c5f4ec58dd735c1ef83fe3d5d29}, keywords = {dblp}, note = {ndltd.org (oai:dspace.mit.edu:1721.1/106098)}, school = {Massachusetts Institute of Technology, Cambridge, USA}, timestamp = {2024-04-09T08:09:45.000+0200}, title = {Program synthesis from execution traces and demonstrations.}, year = 2016 }