بيبي مودولا-3

لغة Baby Modula-3 هي لغة برمجة وظيفية فرعية من لغة البرمجة Modula-3 (مجموعة فرعية آمنة)، مبنية على مبادئ وضعها مارتن عبادي . وهي لغة برمجة كائنية التوجه لدراسة تصميم لغات البرمجة ؛ جزء منها موجه ضمنيًا نحو النماذج الأولية ، والجزء الآخر ذو كتابة ثابتة صريحة، مصمم لدراسة نظرية أنواع علوم الحاسوب . وقد تم التحقق منها كلغة رسمية لأنظمة البرمجة الوصفية . ^{[ 1 ]} وهي تنتمي إلى المدرسة الإسكندنافية للغات كائنية التوجه.

حاول عبادي تقديم مثال على لغة كائنية التوجه خالصة تسمح بدراسة الدلالات الرسمية للكائنات. "تُعرَّف لغة Baby Modula-3 بدلالات تشغيلية مُهيكلة ومجموعة من قواعد النوع الثابتة. وتضمن الدلالات التفسيرية سلامة هذا التعريف." ^{[ 1 ]} وقد ثبت أن نموذج الكائنات هذا يتمتع بقابلية حسم جيدة ^{[ 2 ]} (مع العلم أنه لا يوجد برهان ميكانيكي معروف على ذلك).

عمل عبادي في مركز أبحاث الأنظمة التابع لشركة ديجيتال إكويبمنت (DEC) في بالو ألتو ، كاليفورنيا . بعد استحواذ شركة كومباك على شركة ديجيتال إكويبمنت ، ثم استحواذ شركة هيوليت-باكارد (HP) على شركة كومباك، قامت شركة هيوليت-باكارد بنشر تقرير مركز أبحاث الأنظمة رقم 95 للجمهور.

ألف لوكا كارديلي ومارتن عبادي كتاب "نظرية الكائنات" عام ١٩٩٦، ^{[ ٣ ]} حيث وضعا حسابات رسمية لدلالات لغات البرمجة الكائنية التوجه. وقد أثرت لغة "بيبي مودولا-٣" في هذا العمل، وفقًا لكارديلي، ^{[ ٤ ]} ووجهت حساب نوع الذات في "أنواع الكائن" ونوع "الذات" . ^{[ ٥ ]} وقد مهد ذلك الطريق للعمل على أنظمة التحقق الدلالي الرسمي في "مودولا-٣"، للغات برمجة أنظمة الأنواع الكائنية التوجه التي استُخدمت لنمذجة الدلالات الرسمية للغات مثل "آدا" و "سي" . ^{[ ٦ ]}