5 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
James Koppel
Version space algebras are ways of representing spaces of programs which can be combined using union, intersection, and cross-product/``join" operators. In their reified form as AS…