كتب programming language specification
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
# بيع مواصفة
# مواصفة يونكس الواحدة
# مواصفة الاستجابة
# مواصفة وظيفية
# متطلبات مواصفة
# مواصفة ايزو
# مواصفة الدولية الجودة
# المواصفة 07105
# مواصفة 22000 2018 عربى
# مواصفه الايزو 2200
# كبير مراجعين مواصفة 45001
# مواصفة الذهب
# مواصفة التدريب
# مواصفه 31000 ادارة المخاطر
# صلة مواصفة
# فضاء مواصفة
# مواصفة تجارية
# مواصفة شفرية
# مواصفة قياسية
# لغة المواصفات
عرض المزيد
المصدر: wikipedia.org
مواصفة لغة برمجة (معلومة)
في علم الحاسوب، مواصفة لغة البرمجة يصف ويعرف لغة البرمجة حتى يتمكن مستخدمو هذه اللغة ومنفذوها من التوافق على معنى البرامج المكتوبة بها.
يمكن لمواصفة لغة البرمجة أن تأخذ أشكالا عدة. من هذه الأشكال:
- تعريف صريح لقواعد ومعاني اللغة.
- وصف لسلوك أحد مترجمات اللغة.
- تنفيذ نموذجي، أي كتابة برنامج بتلك اللغة كي يخدم كنموذج لبقية المبرمجين.
القواعد
تعرف قواعد لغات البرمجة عادة عن طريق:
- التعابير النمطية لوصف اللكسيم.
- القواعد المتحررة من السياق لوصف كيف يمكن أن تجمع الكسيمات لتشكل برنامجا صحيحا.
المعاني
القائمة التالية تحتوي على الوسائل التي تتبعها عادة لغات البرمجة من أجل مواصفة معانيها. كل اللغات تستخدم وسيلة واحدة منهن على الأقل، وبعضها يجمع بين أكثر من واحدة:
- اللغة الطبيعية: يكون الوصف باستخدام لغة بشرية طبيعية.
- وصف المعاني بطريقة رسمية: يكون ذلك باستخدام الرياضيات.
- تنفيذ مرجعية: يكون ذلك عن طريق كتابة برنامج حاسوبي يخدم كمرجعية.
- أطقم الفحص: يكون ذلك عن طريق كتابة أمثلة على البرامج والسلوك المتوقع لها.
قراءات أخرى
- تنفيذ لغات البرمجة
