Transformatsion sementika

To'g'rilikni tekshirish: Endi semantikani saqlash nuqtai nazaridan xatoga yo'l qo'yish mumkin (yuqoridagi avtomatik o'sish transformatsiyasidan if shartini qoldirishni tasavvur qiling). Dastur o'zgarishlarining o'zi bu borada neytraldir; ular shunchaki tuzilmalarni tuzilmalarga o'zgartiradilar. Dastur transformatsiyasining saqlash degani ekanligini tekshirish, odatda, dasturni o'zgartirish tizimi qiladigan narsa emas. Bunga yordam berish uchun yordamchi yordam bo'lishi mumkin. Biroq, til tuzilmalarida ifodalangan dastur o'zgarishlariga ega bo'lish, bunday xususiyatlarni tekshirishni string-to-string buzishlarni tekshirishdan ko'ra osonroq qiladi.