在计算机科学中,抽象是管理复杂性的关键。