لوقا كارديلي: الفرق بين النسختين

من ويكيبيديا، الموسوعة الحرة
تصفح التاريخ تفاعلياً
[نسخة منشورة][نسخة منشورة]
→ التعديل السابقالتعديل اللاحق ←
تم حذف المحتوى تمت إضافة المحتوى
مرئينص الويكي
JarBot (نقاش | مساهمات)
17٬592٬533 edits
لا ملخص تعديل
وسمان: تحرير من المحمول تعديل ويب محمول
سطر 25: سطر 25:
| ملاحظات =
| ملاحظات =
}}
}}

'''لوقا أندريه كارديلي''' {{إنج|Luca Andrea Cardelli}}، عضو في [[الجمعية الملكية]]، هو [[عالم حاسوب]] إيطاليّ وَنائب مدير في [[أبحاث ميكروسوفت]] في [[كامبريدج|كامبريدج، المملكة المتّحدة]].<ref name="whoswho">{{cite web |url=http://www.ukwhoswho.com/view/article/oupww/whoswho/U244893 |title=CARDELLI, Luca |format= |work=Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press |accessdate=}}{{subscription required}}</ref><ref>{{Cite journal | last1 = Dalchau | first1 = N. | last2 = Phillips | first2 = A. | last3 = Goldstein | first3 = L. D. | last4 = Howarth | first4 = M. | last5 = Cardelli | first5 = L. | authorlink5 = Luca Cardelli| last6 = Emmott | first6 = S. | authorlink6 = Stephen Emmott| last7 = Elliott | first7 = T. | last8 = Werner | first8 = J. M. | editor1-last = Chakraborty | editor1-first = Arup K | doi = 10.1371/journal.pcbi.1002144 | title = A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization | journal = PLoS Computational Biology | volume = 7 | issue = 10 | pages = e1002144 | year = 2011 | pmid = 22022238 | pmc =3195949 }}</ref> وَعُرِف بسبب بحثه في [[نظرية النمط]] وَ[[دلالات عملياتية|الدلالات العملياتية]].<ref name="onunderstanding">{{Cite journal | last1 = Cardelli | first1 = L. | authorlink1 = Luca Cardelli| title = Bad engineering properties of object-orient languages | doi = 10.1145/242224.242415 | journal = ACM Computing Surveys | volume = 28 | issue = 4es | pages = 150 | year = 1996 | url = http://lucacardelli.name/Papers/BadPropertiesOfOO.html| pmid = | pmc = }}</ref><ref name="badprop">{{Cite journal | last1 = Cardelli | first1 = Luca| authorlink1 = Luca Cardelli| last2 = Wegner | first2 = Peter| authorlink2 = Peter Wegner| doi = 10.1145/6041.6042| title = On understanding types, data abstraction, and polymorphism| journal = [[ACM Computing Surveys]]| issn = 0360-0300| volume = 17| issue = 4| pages = 471–523| date=December 1985 | url = http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf| publisher = [[Association for Computing Machinery|ACM]]| location = New York, NY, USA| ref = harv}}</ref> وقد ساهم في تصميم [[مودولا-3]]، وَنفّذ أوّل [[مترجم (مجمع)|مجمّع]] [[لغة برمجة|للغة]] [[إم إل (لغة برمجة|إم إل]] [[برمجة وظيفية|الوظيفيّة]]، وَعرَّف مفهوم ال[[برمجة كاملة النمط]]. وساعد في تطوير لغة البرمجة التجريبيّة [[سي شارب عديدة الأصوات]] {{إنج|Polyphonic C sharp}}.<ref name="theoryofobjects">{{cite book |author1=Cardelli, Luca |author2=Abadi, Martín |title=A theory of objects |publisher=Springer |location=Berlin |year=1996 |pages= |isbn=0-387-94775-2 |oclc= |doi= |accessdate=}}</ref><ref name="acm">{{ACMPortal|id=81100123805}}</ref><ref name="dblp">{{DBLP|name=Luca Cardelli}}</ref><ref name="microsoft">{{AcademicSearch|1661217}}</ref><ref name="scopus">{{Scopus|id=7004219785}}</ref><ref>{{Cite book | last1 = Abadi | first1 = M. | authorlink1 = Martín Abadi| last2 = Cardelli | first2 = L. | authorlink2 = Luca Cardelli| last3 = Curien | first3 = P. L. | last4 = Levy | first4 = J. J. | doi = 10.1145/96709.96712 | chapter = Explicit substitutions | title = Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 | pages = 31 | year = 1990 | isbn = 0897913434 | pmid = | pmc = }}</ref>


==المراجع==
==المراجع==

نسخة 18:42، 16 فبراير 2017

لوقا أندريه كارديلي
Luca Andrea Cardelli
معلومات شخصية
اسم الولادة Luca Andrea Cardelli
الميلاد سنة 1954 (العمر 69–70 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
مونتيكاتيني تيرمي، إيطاليا
الإقامة كامبريدج، المملكة المتّحدة
مواطنة إيطاليا  تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في الجمعية الملكية،  وجمعية آلات الحوسبة،  وأكاديمية أوروبيا[1]  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المؤسسات مختبرات بل
أبحاث ميكروسوفت
شركة معدّات رقميّة
جامعة إدنبرة
الأطروحات مسعىً جبريّ لوصف والتحقّق من العَتَاد (بالإنجليزية: An algebraic approach to hardware description and verification)‏ 1982
المدرسة الأم جامعة بيزا[2]
جامعة إدنبرة
تعلم لدى غوردن بلاتكن[4]
التلامذة المشهورون أليكساندر سامرز[4]
المهنة عالم حاسوب[5]،  ومهندس  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الإيطالية  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل نظرية النمط
دلالات عملياتية
موظف في ديجيتال إكوبمينت[6]،  وجامعة أكسفورد[6][5]،  وجامعة بنسيلفانيا[7]  تعديل قيمة خاصية (P108) في ويكي بيانات
سبب الشهرة نظريّة الكائنات (بالإنجليزية: Theory of Objects)‏[3] مع مارتن عبادي
الجوائز
زمالة الجمعية الملكية (2005)
جائزة دال-نيغارد (2007)
رابطة مكائن الحوسبة
المواقع
الموقع lucacardelli.name
تعديل مصدري - تعديل  طالع توثيق القالب

لوقا أندريه كارديلي (بالإنجليزية: Luca Andrea Cardelli)‏، عضو في الجمعية الملكية، هو عالم حاسوب إيطاليّ وَنائب مدير في أبحاث ميكروسوفت في كامبريدج، المملكة المتّحدة.[2][8] وَعُرِف بسبب بحثه في نظرية النمط وَالدلالات العملياتية.[9][10] وقد ساهم في تصميم مودولا-3، وَنفّذ أوّل مجمّع للغة إم إل الوظيفيّة، وَعرَّف مفهوم البرمجة كاملة النمط. وساعد في تطوير لغة البرمجة التجريبيّة سي شارب عديدة الأصوات (بالإنجليزية: Polyphonic C sharp)‏.[3][11][12][13][14][15]

المراجع

  1. ^ https://www.ae-info.org/ae/User/Cardelli_Luca. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  2. ^ أ ب "CARDELLI, Luca". Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press.(الاشتراك مطلوب)
  3. ^ أ ب Cardelli, Luca؛ Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN:0-387-94775-2.
  4. ^ أ ب لوقا كارديلي في شجرة علماء الرياضيات
  5. ^ أ ب http://editors.eptcs.org/. اطلع عليه بتاريخ 2020-07-04. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  6. ^ https://orcid.org/0000-0002-8705-8488. اطلع عليه بتاريخ 2019-01-06. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  7. ^ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
  8. ^ Dalchau، N.؛ Phillips، A.؛ Goldstein، L. D.؛ Howarth، M.؛ Cardelli، L.؛ Emmott، S.؛ Elliott، T.؛ Werner، J. M. (2011). Chakraborty، Arup K (المحرر). "A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization". PLoS Computational Biology. ج. 7 ع. 10: e1002144. DOI:10.1371/journal.pcbi.1002144. PMC:3195949. PMID:22022238.{{استشهاد بدورية محكمة}}: صيانة الاستشهاد: دوي مجاني غير معلم (link)
  9. ^ Cardelli، L. (1996). "Bad engineering properties of object-orient languages". ACM Computing Surveys. ج. 28 ع. 4es: 150. DOI:10.1145/242224.242415.
  10. ^ Cardelli، Luca؛ Wegner، Peter (ديسمبر 1985). "On understanding types, data abstraction, and polymorphism" (PDF). ACM Computing Surveys. New York, NY, USA: ACM. ج. 17 ع. 4: 471–523. DOI:10.1145/6041.6042. ISSN:0360-0300. {{استشهاد بدورية محكمة}}: الوسيط |ref=harv غير صالح (مساعدة)
  11. ^ قالب:ACMPortal
  12. ^ Luca Cardelli at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server  تعديل قيمة خاصية (P2456) في ويكي بيانات
  13. ^ قائمة النشرات من البحث الأكاديمي في مايكروسوفت [الإنجليزية]
  14. ^ منشورات لوقا كارديلي مُفهرسة بواسطة قاعدة سكوبس الببليوغرافية، وهي خدمة مقدمة من إلزيفير. (الاشتراك مطلوب)
  15. ^ Abadi، M.؛ Cardelli، L.؛ Curien، P. L.؛ Levy، J. J. (1990). "Explicit substitutions". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ص. 31. DOI:10.1145/96709.96712. ISBN:0897913434.

روابط خارجيّة

مجلوبة من «https://ar.wikipedia.org/w/index.php?title=لوقا_كارديلي&oldid=22517139»