لغة بيبي مودولا-3 (Baby Modula-3) هي فرع فرعي من لغة برمجة مودولا-3 (Modula-3) الوظيفية، والتي تعتمد على أفكار ابتكرها مارتين أبادي (Martín Abadi). تعتبر لغة بيبي مودولا-3 لغة برمجية موجهة نحو الأهداف لدراسة تصميم لغات البرمجة؛ حيث تتكون جزئيات منها من لغة برمجية موجهة نحو الكائنات بشكل ضمني، بينما تتكون الأجزاء الأخرى منها من لغة برمجية بشكل ثابت وبشكل صريح مصممة لدراسة نظريات علوم الحاسوب. تم فحصها كلغة شكلية لأنظمة التعريف. تأتي لغة بيبي مودولا-3 من “المدرسة الإسكندنافية” للغات البرمجة الموجهة نحو الكائنات.
حاول مارتين أبادي تقديم مثال على لغة برمجية نقية موجهة نحو الكائنات تسمح بدراسة الدلالات الشكلية للكائنات. تم تحديد بيبي مودولا-3 بناءً على دلالات تشغيلية منظمة ومع مجموعة من قواعد النوع الثابت. تضمنت دلالات الدلالة صحة هذا التعريف. تم إظهار أن هذا النموذج الكائني لديه قرار صحيح للتعريف (لكن لا يُعرف ما إذا كان هناك دليل ميكانيكي عليه). عمل مخترع بيبي مودولا-3 في مركز أبحاث الأنظمة (SRC) التابع لشركة ديجيتال إكيومنت كوربوريشن (Digital Equipment Corporation – DEC) في بالو ألتو بولاية كاليفورنيا. نظرًا لأن DEC تم شراؤها من قبل شركة كومباك (Compaq)، وكومباك نفسها تم شراؤها من قبل شركة هيوليت باكارد (Hewlett-Packard)، تم توفير تقرير SRC-95 للجمهور بواسطة HP.
يمكنك الحصول على معلومات إضافية حول لغة بيبي مودولا-3 عبر الرابط التالي إلى صفحتها على ويكيبيديا: لغة بيبي مودولا-3 على ويكيبيديا