ألفارد (لغة برمجة)

📅 آخر تحديث: ٢ أغسطس ٢٠٢٦
✍️ نُشر في: ٢ أغسطس ٢٠٢٦
الموسوعة الحرة

ألفارد هي لغة برمجة شبيهة بلغة باسكال ، تُستخدم لتجريد البيانات والتحقق منها ، وقد اقترحها وصممها ويليام أ. وولف ، ورالف ل. لندن، وماري شو . [ 1 ] كانت هذه اللغة موضوعًا للعديد من المنشورات البحثية في أواخر سبعينيات القرن العشرين، لكنها لم تُنفذ قط. تمثلت ميزتها الابتكارية الرئيسية في تقديم نوع بيانات "النموذج" ، الذي يجمع بين المواصفات والتنفيذ الإجرائي (القابل للتنفيذ) . كما استعارت المولد من لغة IPL-V ، [ 2 ] بالإضافة إلى دوال الربط من لغة ليسب [ 3 ] وجعلتها حالة عامة. [ 4 ]

مراجع

  1. ↑ وولف، ويليام أ.؛ لندن، رالف ل.؛ شو، ماري (ديسمبر 1976). "مقدمة في بناء برامج ألفارد والتحقق منها" (ملف PDF) . معاملات IEEE في هندسة البرمجيات . 2 (4): 253-265 . doi : 10.1109/TSE.1976.233830 .
  2. ↑ نيويل، ألين (1964). دليل لغة معالجة المعلومات - الإصدار الخامس . برنتيس هول . تم الاطلاع عليه بتاريخ 12 مايو 2012 .
  3. ↑ مكارثي، جون (1965). دليل مبرمج لغة ليسب 1.5 ( الطبعة الثانية). كامبريدج: مطبعة معهد ماساتشوستس للتكنولوجيا. رقم ISBN  978-0262130110.
  4. ↑ شو، ماري (1981). ألفارد: الشكل والمضمون . سبرينغر-فيرلاغ. ISBN 978-3-540-90663-6تم الاطلاع عليه بتاريخ 12 مايو 2012 .

للمزيد من القراءة

  • كليفلاند، ج. كريج (1986). مقدمة في أنواع البيانات . أديسون-ويسلي. ISBN 0201119404.