抽象化 (計算機科学)
例えば、クラスの生徒たちを年齢の最大と最小で抽象化した場合、ある人物がそのクラスに属するかどうかを判定するためにその年齢を最大値・最小値と比較することが考えられ、年齢がその範囲外だった場合は、その人物がクラスに属さないと確信を持って言うことができる。範囲内だった場合、「わからない」としか答えようがない。
コンピュータプログラムの特性は本質的に決定不能であるため、抽象化はコンピュータプログラムを扱う場合に有効である(ライスの定理参照)。同様にプログラムの動作によって情報を引き出す自動化手法は、停止性(場合によっては失敗したり、いつまでたっても結果が出ないことがある)、健全性(誤った情報を提供することがある)、正確性(問題に対して答えられない場合がある)のいずれかを諦めざるをえない場合がある。
抽象化は抽象解釈の中核的概念である。モデル検査は一般に対象システムを抽象化したものに対して行われる。