هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

مواصفة لغة برمجة

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

في علم الحاسوب، مواصفة لغة البرمجة يصف ويعرف لغة البرمجة حتى يتمكن مستخدمو هذه اللغة ومنفذوها من التوافق على معنى البرامج المكتوبة بها.[1][2][3]

يمكن لمواصفة لغة البرمجة أن تأخذ أشكالا عدة. من هذه الأشكال:

  • تعريف صريح لقواعد ومعاني اللغة.
  • وصف لسلوك أحد مترجمات اللغة.
  • تنفيذ نموذجي، أي كتابة برنامج بتلك اللغة كي يخدم كنموذج لبقية المبرمجين.

القواعد[عدل]

تعرف قواعد لغات البرمجة عادة عن طريق:

المعاني[عدل]

القائمة التالية تحتوي على الوسائل التي تتبعها عادة لغات البرمجة من أجل مواصفة معانيها. كل اللغات تستخدم وسيلة واحدة منهن على الأقل، وبعضها يجمع بين أكثر من واحدة:

  • اللغة الطبيعية: يكون الوصف باستخدام لغة بشرية طبيعية.
  • وصف المعاني بطريقة رسمية: يكون ذلك باستخدام الرياضيات.
  • تنفيذ مرجعية: يكون ذلك عن طريق كتابة برنامج حاسوبي يخدم كمرجعية.
  • أطقم الفحص: يكون ذلك عن طريق كتابة أمثلة على البرامج والسلوك المتوقع لها.

قراءات أخرى[عدل]

مراجع[عدل]

  1. ^ Milner، R.؛ M. Tofte؛ R. Harper؛ D. MacQueen (1997). The Definition of Standard ML (Revised). MIT Press. ISBN 0-262-63181-4. 
  2. ^ Jones، D. (2008). Forms of language specification (PDF). اطلع عليه بتاريخ 23 يونيو 2012. 
  3. ^ Announcing a specification for PHP, July 30, 2014, Joel Marcey نسخة محفوظة 13 يوليو 2017 على موقع واي باك مشين.

وصلات خارجية[عدل]

Midori Extension.svg
هذه بذرة مقالة بحاجة للتوسيع. شارك في تحريرها.