Retrenchment (computing) とは

削減は、洗練が原理的に望ましいと考えられる状況では、正式な、モデルに基づく洗練の認識された限界のいくつかに対処するために導入された形式的方法に関連する技術であるが、使用できないか、練習。主にマンチェスター大学のコンピュータサイエンススクールで開発されました。