لغة البرمجة OBJ

OBJ هي عائلة لغات برمجة قدمها جوزيف جوجين في عام 1976، وعمل عليها خوسيه ميسيجوير بشكل أكبر .

هي عائلة من لغات البرمجة التصريحية "عالية المستوى للغاية". تتميز بأنواع مجردة ، ووحدات نمطية عامة ، وأنواع فرعية (أنواع فرعية ذات وراثة متعددة )، ومطابقة الأنماط باستخدام المعادلات المعيارية، واستراتيجيات E (تحكم المستخدم في الكسل )، وتعبيرات الوحدات النمطية (لدمج الوحدات النمطية)، ونظريات ووجهات نظر (لوصف واجهات الوحدات النمطية ) لآلة قواعد إعادة الكتابة المتوازية بشكل كبير (RRM ). ^{[ 1 ]}

تشمل عائلة لغات OBJ كلاً من CafeOBJ و Eqlog و FOOPS و Kumo و Maude و OBJ2 و OBJ3 . ^{[ 2 ]}

OBJ2 هي لغة برمجة تحتوي على وحدات نمطية ذات معلمات تشبه Clear ونظام وظيفي قائم على المعادلات.

OBJ3 هو إصدار من OBJ يعتمد على إعادة الكتابة المرتبة حسب الترتيب . OBJ3 موجه نحو الوكلاء ويعمل على لغة كيوتو كومون ليسب AKCL.

• إثبات النظريات آلياً
• مقارنة لغات البرمجة
• الأساليب الرسمية

• جيه إيه جوجين، الدوال ذات الرتبة العليا تعتبر غير ضرورية للبرمجة ذات الرتبة العليا . في موضوعات بحثية في البرمجة الوظيفية (يونيو 1990). ص 309-351.
• "مبادئ OBJ2"، ك. فوتاتسوجي وآخرون، المؤتمر الثاني عشر لـ POPL، ACM 1985، الصفحات  52-66.
• جيه إيه جوجين؛ تي وينكلر؛ جيه ميسيجوير؛ كيه فوتاتسوجي؛ جيه-بي جوانو (2000)، "مقدمة إلى OBJ"، في جيه إيه جوجين؛ جي مالكولم (محرران)، هندسة البرمجيات باستخدام OBJ: المواصفات الجبرية قيد التنفيذ ، سبرينغر ساينس + بيزنس ميديا، نيويورك، نيويورك، ص 3-167 ، ISBN  978-1-4757-6541-0

• أرشيف OBJ
• عائلة أو بي جيه
• معلومات ودليل OBJ3 ، بتنسيق PostScript