ماتياس فيليسين

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

ماتياس فيليسين أستاذ علوم حاسوب ومؤلف ألماني أمريكي . نشأ في ألمانيا وهاجر إلى الولايات المتحدة في العشرينات من عمره. حصل على درجة الدكتوراه من جامعة إنديانا بلومنجتون تحت إشراف دانيال ب. فريدمان .

بعد أن عمل أستاذاً لمدة 14 عاماً في قسم علوم الحاسوب بجامعة رايس ، انضم فيليسين إلى كلية خوري لعلوم الحاسوب في جامعة نورث إيسترن في بوسطن، ماساتشوستس، كأستاذ أمين.

تشمل اهتمامات فيليسين لغات البرمجة ، بما في ذلك أدوات البرمجة ، وتصميم البرامج، وعقود البرمجيات ، وغيرها الكثير. [ 1 ] في تسعينيات القرن الماضي، أطلق فيليسين مشروعي PLT وTeachScheme! (الذي أصبح لاحقًا ProgramByDesign ، والذي أدى في النهاية إلى ظهور مشروع Bootstrap [ 2 ] ) بهدف تعليم مبادئ تصميم البرامج للمبتدئين واستكشاف استخدام لغة Scheme لإنتاج أنظمة كبيرة. وكجزء من هذا الجهد، ألّف كتاب "كيفية تصميم البرامج" ( منشورات معهد ماساتشوستس للتكنولوجيا ( MIT Press )، 2001) بالاشتراك مع روبرت بروس فيندلر ، وماثيو فلات ، وشري رام كريشنامورثي .

بحث

أسفرت أبحاث فيليسين في نظرية لغات البرمجة عن دلالات الاختزال واسعة الانتشار، [ 3 ] وهي تعميم لحساب لامدا . ويتمثل الاستخدام الأكثر شيوعًا في إثبات سلامة الأنواع، كما يتضح من كثرة الاستشهادات بها [ 4 ] . وقد أثمر تعاون مع بيير لويس كوريان وروبرت كارترايت عن أول دلالات دلالية متسلسلة ومولدة جبريًا للغة من الرتبة العليا [ 5 ] [ 6 ]. انظر أيضًا: الدلالات الدلالية ومناقشتها لدلالات الألعاب.

تشمل أعمال فيليسين في مجال ممارسة لغات البرمجة مجموعة واسعة من النتائج. فقد طرح في أطروحته فكرة الاستمرارية المحددة ، وهي فكرة تُطبّق الآن في العديد من اللغات المعاصرة باستخدام تقنيات مختلفة، بما في ذلك جافا سكريبت [ 7 ] ، وأو كاميل [ 8 ] ، وسكالا [ 9 ] ، وراكيت [ 10 ] . بالإضافة إلى ذلك، أدت نظريته في الاستمرارية المحددة إلى تعاون مع صبري، وأنتجت الصيغة A-normal (الوسيطة) للمترجمات . وقد اختيرت هذه النتيجة لمجموعة الذكرى السنوية العشرين لمؤتمر PLDI [ 11 ] . وبالتعاون مع فيندلر، عمّم فيليسين عقود البرمجيات لتشمل لغات البرمجة عالية المستوى. [ 12 ] أخيرًا، استخدم توبين-هوششتات وفيليسين هذه العقود ذات المستوى الأعلى لإنشاء Typed Racket، وهي أول لغة كاملة بنظام كتابة تدريجي معاصر لجهود سيك وواها النظرية وصياغة العبارة.

في حوالي عام 1990، بحث فيليسين في القدرة التعبيرية للغات البرمجة [ 13 ] [ 14 ] [ 15 ] في محاولة لفهم سبب تفضيل المبرمجين للغة برمجة كاملة على أخرى. في حين أن نظرية اللغة الرسمية تساوي جميع اللغات التي يمكنها تحقيق آلة تورينجيرفض المبرمجون الممارسون هذا المفهوم، ويميلون إلى إسناد مستويات تعبيرية مختلفة للغات البرمجة المختلفة. تقصر نظرية فيليسين الترجمات من لغة إلى أخرى على تلك التي تؤثر فقط على أجزاء "محلية" ( وحدات ) من التعليمات البرمجية، أي تلك الأجزاء التي يمكن للمبرمج تعديلها. في المقابل، تسمح نظرية اللغة الرسمية بأي ترجمة بين لغتين، مما يفسر سبب كونها أكثر شمولًا من نظرية فيليسين. على مدى السنوات الخمس الماضية، حاول كريستوس ديمولاس من جامعة نورث وسترن وفيليسين تقديم حجة مماثلة باستخدام البحث التجريبي. [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 21 ] تتمثل الفكرة الأساسية في دراسة كمية المعلومات التي توفرها ميزة لغوية في مختلف مواقف العمل التي يواجهها المطورون. على المستوى النظري، يشبه هذا البحث العمل الذي يقوم به علماء اللغة الطبيعية في مجال البراغماتية .

الجوائز والتكريمات

ألقى فيليسين الكلمات الرئيسية في الندوة الفنية لعام 2011 حول تعليم علوم الحاسوب ، والمؤتمر الدولي لعام 2010 حول البرمجة الوظيفية ، [ 22 ] والمؤتمر الأوروبي لعام 2004 حول البرمجة الموجهة للكائنات وندوة عام 2001 حول مبادئ لغات البرمجة ، والعديد من المؤتمرات وورش العمل الأخرى حول علوم الحاسوب.

في عام 2006، انضم إلى زمالة جمعية آلات الحوسبة (ACM). وفي عام 2009، حصل على جائزة كارل ف. كارلستروم للمعلم المتميز من الجمعية نفسها. [ 23 ] وفي عام 2010، حصل على جائزة SIGCSE للإسهام المتميز في تعليم علوم الحاسوب من الجمعية نفسها. وفي عام 2012، حصل على جائزة ACM SIGPLAN لإنجازات لغات البرمجة، وذلك لإسهامه البارز والدائم في مجال لغات البرمجة، [ 24 ] بما في ذلك دلالات التشغيل ذات الخطوات الصغيرة للتحكم والحالة، والاستمراريات من الدرجة الأولى والمحددة، وفئات ووحدات المزج، ودلالات تجريدية كاملة لـ Sequential PCF، وتقنيات برمجة الويب، والعقود من الرتبة العليا مع تحديد المسؤولية، والكتابة الثابتة للغات الديناميكية. وفي عام 2018، حصل فيليسين على جائزة ACM SIGPLAN لبرمجيات لغات البرمجة (بالاشتراك مع باقي أعضاء الفريق الأساسي لـ Racket). [ 25 ]

الكتب

شارك فيليسين في تأليف:

مراجع

  1. ↑ "بحث" . تم الاطلاع عليه بتاريخ 26-06-2012 .
  2. ↑ "Bootstrap World" . تم الاطلاع عليه بتاريخ 31-05-2019 .
  3. ^ ماتياس فيليسن (أغسطس 1987). حسابات تحويل Lambda_v-CS . بلومنغتون، إن: جامعة إنديانا (نشرت عام 1987). ص. 245. {{cite book}}: صيانة CS1: التاريخ والسنة ( رابط )
  4. ↑ "مقاربة نحوية لسلامة النوع" . scholar.google.com . تم الاطلاع عليه بتاريخ 22-07-2026 .
  5. ↑ كارترايت، روبرت؛ فيليسين، ماتياس (1992-02-01). "التسلسل الملحوظ والتجريد الكامل" . وقائع الندوة التاسعة عشرة لجمعية ACM SIGPLAN-SIGACT حول مبادئ لغات البرمجة . POPL '92. نيويورك، نيويورك، الولايات المتحدة الأمريكية: جمعية آلات الحوسبة: 328-342 . doi : 10.1145/143165.143232 . ISBN 978-0-89791-453-6.
  6. ↑ كارترايت، روبرت (1994). " دلالات مجردة تمامًا للغات المتسلسلة القابلة للملاحظة" . المعلومات والحوسبة . 111 (2): 297-401 – عبر ScienceDirect.
  7. ↑ فيبس-كوستين، لونا؛ روسبرغ، أندرياس؛ غوها، أرجون؛ ليجن، دان؛ هيلرستروم، دانيال؛ سيفاراماكريشنان، كيه سي؛ بريتنار، ماتيجا؛ ليندلي، سام (16 أكتوبر 2023). "مواصلة WebAssembly باستخدام معالجات التأثيرات" . وقائع مؤتمر ACM حول لغات البرمجة . 7 (OOPSLA2): 460-485 . doi : 10.1145/3622814 . ISSN 2475-1421 . 
  8. ↑ كيسليوف، أوليغ (2012-06-01). "التحكم المحدد في لغة OCaml، بشكل مجرد وملموس" . علوم الحاسوب النظرية . البرمجة الوظيفية والمنطقية. 435 : 56-76 . doi : 10.1016/j.tcs.2012.02.025 . ISSN 0304-3975 . 
  9. ↑ رومبف، تيارك؛ ماير، إنجو؛ أوديرسكي، مارتن (31 أغسطس 2009). "تنفيذ استمراريات متعددة الأشكال من الدرجة الأولى محددة بواسطة تحويل CPS انتقائي موجه بالنوع" . إشعارات ICFP وACM SIGPLAN . ACM: 317-328 . doi : 10.1145/1596550.1596596 . ISBN 978-1-60558-332-7.
  10. ↑ فلات، ماثيو؛ ديبفيج، ر. كينت (11 يونيو 2020). "دعم المترجم ووقت التشغيل لعلامات الاستمرار" . إشعارات PLDI وACM SIGPLAN . ACM: 45-58 . doi : 10.1145/3385412.3385981 . ISBN 978-1-4503-7613-6.
  11. ↑ "SIGPLAN: المجلد 39، العدد 4" . إشعارات ACM SIGPLAN . تم الاسترجاع في 24 يوليو 2026 .
  12. ↑ فايندلر، روبرت (17 سبتمبر 2002). "عقود الدوال ذات الرتبة العليا" . مكتبة ACM الرقمية . doi : 10.1145/581478.581484 . تاريخ الاسترجاع : 24 يوليو 2026 .{{cite web}}: CS1 maint: url-status ( link )
  13. ↑ فيليسين، ماتياس (ديسمبر 1991). "حول القدرة التعبيرية للغات البرمجة" . علم برمجة الحاسوب . 17 ( 1-3 ): 35-75 . doi : 10.1016/0167-6423(91)90036-W .
  14. ↑ PapersWeLove (19 سبتمبر 2019). حول القدرة التعبيرية للغات البرمجة بقلم شري رام كريشنامورثي [ مؤتمر PWLConf 2019 ] . تم الاطلاع عليه بتاريخ 27 يوليو 2026 – عبر يوتيوب.
  15. ↑ فورستر، يانيك؛ كامار، أوهاد؛ ليندلي، سام؛ بريتنار، ماتيجا (29 أغسطس 2017). "حول القدرة التعبيرية للتأثيرات المُعرَّفة من قِبل المستخدم: معالجات التأثيرات، والانعكاس الأحادي، والتحكم المُحدَّد" . وقائع مؤتمر ACM للغات البرمجة . 1 (ICFP): 13:1–13:29. doi : 10.1145/3110257 .
  16. ↑ ديمولاس، كريستوس؛ فيليسين، ماتياس (27-06-2025). "المبرمج العقلاني: دراسة براغماتية لغات البرمجة" . مجلة اتصالات رابطة مكائن ​​الحوسبة . 68 (7): 120-130 . doi : 10.1145/3708981 . ISSN 0001-0782 . 
  17. ↑ لازاريك، لوكاس؛ غرينمان، بن؛ فيليسين، ماتياس؛ ديمولاس، كريستوس (19 أغسطس 2021). "كيفية تقييم المسؤولية عن الأنواع التدريجية" . وقائع مؤتمر ACM للغات البرمجة . 5 (ICFP): 68:1–68:29. doi : 10.1145/3473573 .
  18. ↑ لازاريك، لوكاس؛ غرينمان، بن؛ فيليسين، ماتياس؛ ديمولاس، كريستوس (31 أغسطس 2023). "كيفية تقييم اللوم للأنواع التدريجية، الجزء 2" . وقائع مؤتمر ACM للغات البرمجة . 7 (ICFP): 194:159–194:186. doi : 10.1145/3607836 .
  19. ↑ بن غرينمان؛ ماتياس فيليسين؛ كريستوس ديمولاس؛ ناثانيال هيدوك (11 يوليو 2023)، أداة لشرح كيفية مساعدة أدوات تحليل الأداء في توجيه عملية ترحيل الأنواع ، زينودو، doi : 10.5281/ZENODO.8148784 ، تاريخ الاسترجاع : 27 يوليو 2026
  20. ↑ سو، تشنغهاو؛ تشن، لين؛ يانهوي، لي؛ تشو، يومينغ (يناير 2024). "اللوم الثابت على الكتابة التدريجية" . مجلة البرمجة الوظيفية . 34 : e4. doi : 10.1017/S0956796824000029 . ISSN 0956-7968 . 
  21. ↑ دزاتدويف، شاميل؛ دي روزيير، جوزفين أ.؛ مورازان، ماركو ت. (1 أغسطس 2024). "رسائل الخطأ للطلاب الذين يدرسون باستخدام منهج تصميم البرامج المنهجي" . اتجاهات في البرمجة الوظيفية: الندوة الدولية الخامسة والعشرون، TFP 2024، ساوث أورانج، نيوجيرسي، الولايات المتحدة الأمريكية، 10-12 يناير 2024، أوراق مختارة منقحة . 2025 (1). برلين، هايدلبرغ: سبرينغر-فيرلاغ: 195-219 . doi : 10.1007/978-3-031-74558-4_9 . ISBN 978-3-031-74557-7.{{cite journal}}: مسافة غير قابلة للكسر في |title=الموضع 19 ( مساعدة )
  22. ↑ "ICFP 2010: المؤتمر الدولي الخامس عشر لجمعية ACM SIGPLAN حول البرمجة الوظيفية" . تم الاطلاع عليه بتاريخ 18-12-2012 .
  23. ↑ "شهادة تقدير جائزة ACM" . مؤرشف من الأصل بتاريخ 4 مايو 2012. تم الاطلاع عليه بتاريخ 26 يونيو 2012 .
  24. ↑ "جائزة الإنجاز في لغات البرمجة" . تم الاطلاع عليها بتاريخ 26-06-2012 .
  25. ↑ "جائزة لغات البرمجة للبرمجيات" . www.sigplan.org . تاريخ الاسترجاع: 12 فبراير 2024 .