• Menyemak kesalahan semantik dan jenis (type).

• Jenis disemak untuk memastikan bahawa semua operator mempunyai operan-operan yang

   dibenarkan oleh spesifikasi aturcara sumber.