Refinement (computing)

Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.

单词	Data refinement
释义	Data refinement 英语百科 Refinement (computing) Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.
随便看	Repair of old obstetric laceration of bladder Repair of old obstetric urethral laceration repair of old perineal laceration Repair of old traumatic injury of cranial nerve Repair of old traumatic injury of peripheral nerve Repair of omental hernia Repair of omentum repair of omphalocele Repair of omphalocele with prosthesis repair of operating equipment Repair of orbit Repair of orbit wound Repair of oroantral fistula repair of oromaxillary fistula Repair of ostium primum defect Repair of ostium primum defect with prosthesis Repair of ostium primum defect with tissue graft Repair of ostium secundum defect Repair of oval and round windows Repair of oval window fistula Repair of ovary Repair of pacemaker electrodes Repair of palate Repair of pancreas Repair of pancreatic fistula

Data refinement

Refinement (computing)