Comment by ch4s3

How does contract programming differ from refinement types?