Transformatsion sementika

Qo'llash shartlari: Ko'pgina individual dastur o'zgarishlari ular qo'llanilishi mumkin bo'lgan har qanday sharoitda qo'llanilmaydi (masalan, ular to'g'riligini buzishi mumkin), shuning uchun ularning ko'pchiligi qo'llashdan oldin tekshirilishi kerak bo'lgan dastur shartiga ega. C tili uchun (manbadan manbaga) o'zgartirish misoli:

autoinc transform:

\X = \X + 1 -> \X++

if NoSideEffects(\X)

Ushbu transformatsiyani qoʻllash sharti shundan iboratki, bir xil aniq ifoda \X teng belgisining ikkala tomonida paydo boʻladi va \X ifodalagan ifoda hech qanday nojoʻya taʼsirga ega emas va nojoʻya taʼsir koʻrsatadigan protseduralarni chaqirmaydi. (Qanday qilib qo'llash shartlarini belgilash va amalga oshirish haqida butunlay boshqacha muhokama bor.) Agar dastur sharti qondirilsa, bu o'zgaradi.

P[Q(N,7)]=P[Q(N,7)]+1 ->

P[Q(N,7)]++

Haqiqiy dasturlash tillarining ko'pchiligini qo'llash shartlari dastur elementlari o'rtasida axborot qanday uzatilishini tushunish uchun oqim tahlilini talab qiladi. Misol sifatida, bunday oqim tahlillari \X chaqiradigan protseduralarni tahlil qilish orqali hech qanday nojo'ya ta'sirga ega emasligini aniqlashni qo'llab-quvvatlaydi.