microsoft/BosqueLanguage

Implement synthesis blocks

mrkmarron opened this issue · 2 comments

mrkmarron commented

Inspired by this paper I would like to implement synthesis blocks as a first class language feature (and a synthesis engine to support it).

Several questions are what can a programmer specify for the block, types, pre/post, examples, etc. and what is the synthesis methodology.

claytonsingh commented

Looks like the link to that paper is dead.

mrkmarron commented

Yep, link is dead. This paper "Liberating the Programmer with Prorogued Programming" should also be available here.