Abstract Execution

تقنية تحليل ساكن تفحص البرنامج دون تشغيله فعلياً، لاكتشاف أخطاء الأنواع والأشكال، وتحديد البرامج المكرّرة وظيفياً عبر التهشير، وإزالة العبارات الزائدة التي لا تؤثر في الخرج.

A static analysis technique that examines a program without actually running it, to detect type/shape errors, identify functionally duplicate programs via hashing, and remove redundant statements that do not affect the output.