3 citations · 7 across the 9 of their papers we have counts for
1 paper · 1 filter
Edward McDaid, Sarah McDaid
It is believed that mechanisms including intermediate values enable composable inductive programming (CIP) to be used to produce software of any size. We present the results of a s…