Revision as of 12:03, 19 April 2013 edit Kku (talk \| contribs) Extended confirmed users 122,081 edits →Refinement types: cite ← Previous edit		Revision as of 15:33, 20 June 2014 edit undo 103.251.229.8 (talk) →Refinement calculus Next edit →
Line 16: == Refinement calculus == [[Refinement calculus]] is a [[formal system]] (inspired from [[Hoare logic]]) that promotes program refinement. The [[FermaT Transformation System]] is an industrial-strength implementation of refinement. The [[B-Method]] is also a [[formal method]] that extends refinement calculus with a component language: it has been used in industrial developments. == Refinement types ==

Refinement (computing): Difference between revisions