مواصفة لغة برمجة
في علم الحاسوب، مواصفة لغة البرمجة يصف ويعرف لغة البرمجة حتى يتمكن مستخدمو هذه اللغة ومنفذوها من التوافق على معنى البرامج المكتوبة بها.[1][2][3]
يمكن لمواصفة لغة البرمجة أن تأخذ أشكالا عدة. من هذه الأشكال:
- تعريف صريح لقواعد ومعاني اللغة.
- وصف لسلوك أحد مترجمات اللغة.
- تنفيذ نموذجي، أي كتابة برنامج بتلك اللغة كي يخدم كنموذج لبقية المبرمجين.
القواعد[عدل]
تعرف قواعد لغات البرمجة عادة عن طريق:
- التعابير النمطية لوصف اللكسيم.
- القواعد المتحررة من السياق لوصف كيف يمكن أن تجمع الكسيمات لتشكل برنامجا صحيحا.
المعاني[عدل]
القائمة التالية تحتوي على الوسائل التي تتبعها عادة لغات البرمجة من أجل مواصفة معانيها. كل اللغات تستخدم وسيلة واحدة منهن على الأقل، وبعضها يجمع بين أكثر من واحدة:
- اللغة الطبيعية: يكون الوصف باستخدام لغة بشرية طبيعية.
- وصف المعاني بطريقة رسمية: يكون ذلك باستخدام الرياضيات.
- تنفيذ مرجعية: يكون ذلك عن طريق كتابة برنامج حاسوبي يخدم كمرجعية.
- أطقم الفحص: يكون ذلك عن طريق كتابة أمثلة على البرامج والسلوك المتوقع لها.
قراءات أخرى[عدل]
مراجع[عدل]
- ^ Milner، R.؛ M. Tofte؛ R. Harper؛ D. MacQueen (1997). The Definition of Standard ML (Revised). MIT Press. ISBN:0-262-63181-4.
- ^ Jones، D. (2008). Forms of language specification (PDF). مؤرشف من الأصل (PDF) في 2018-11-28. اطلع عليه بتاريخ 2012-06-23.
- ^ Announcing a specification for PHP, July 30, 2014, Joel Marcey نسخة محفوظة 2017-07-13 في Wayback Machine
