Since 1929...

Abstract interpretation