التركيب الاستنتاجي للبرامج

ثابت البرنامج

خاصية منطقية يحافظ عليها تنفيذ البرنامج، تستخدم لإثبات الصحة الجزئية والكاملة في طرق التوليد الاستنتاجي.

← رجوع