http://www.elshami.com

axiomatic semantics
البحث المنطقي

الأسلوب المتبع ضمن وظائف البرامج المترجمة لبرامج المصدر لتحليل عبارات وأوامر برنامج ما، والتعليق عليه بما يفيد خلوه أو عدم خلوه من الأخطاء أو العلاقات غير المنطقية.

See also assemble; assembly listing