الدلالات البديهية
الدلالات البديهية هي منهج قائم على المنطق الرياضي لإثبات صحة برامج الحاسوب . [ 1 ] وهي ترتبط ارتباطًا وثيقًا بمنطق هوار .
تُعرّف الدلالات البديهية معنى الأمر في البرنامج من خلال وصف تأثيره على التأكيدات المتعلقة بحالة البرنامج. هذه التأكيدات عبارة عن عبارات منطقية - أي عبارات منطقية تتضمن متغيرات، حيث تُحدد هذه المتغيرات حالة البرنامج.
انظر أيضاً
- الدلالات الجبرية (علوم الحاسوب) - من حيث الجبر
- الدلالات الدلالية - من خلال ترجمة البرنامج إلى لغة أخرى
- الدلالات التشغيلية — من حيث حالة الحساب
- الدلالات الرسمية للغات البرمجة - نظرة عامة
- دلالات محول المسند - تصف معنى جزء من البرنامج باعتباره الدالة التي تحول الشرط اللاحق إلى الشرط المسبق اللازم لإنشائه.
- التأكيد (الحوسبة)
مراجع
- ↑ وينسكل، جلين (5 فبراير 1993). الدلالات الرسمية للغات البرمجة: مقدمة . مطبعة معهد ماساتشوستس للتكنولوجيا. ISBN 978-0-262-73103-4.
فئات :
- الدلالات البديهية
- لغات المواصفات الرسمية
- المنطق في علوم الحاسوب
- دلالات لغة البرمجة
- نماذج أولية للأساليب الرسمية