a paper on version space algebra

[Ras Bodik]

Hi all,

 

On Thursday I mentioned that Warren’s and Sarah/Shaon’s projects may be amenable to synthesis by Version Space Algebra. VSA is an algorithm that applies when the choice of one hole does not depend on the choice of another, i.e., the holes can be synthesized independently, leading to greater scalability.  Here is a readable paper on the topic.  I plan to cover the VSA approach on Thursday.

 

http://tlau.org/research/papers/p027-lau.pdf

 

 

 

--Ras