icdcs2016-refinement-weld-arrow