A Formal Executable Semantics of Orc using the K Framework
| dc.contributor.author | ALZUHAIBI OMAR ZUHAIR | |
| dc.date | 2016 | |
| dc.date.accessioned | 2022-05-18T07:36:22Z | |
| dc.date.available | 2022-05-18T07:36:22Z | |
| dc.degree.department | College of Computer Science and Engineering | |
| dc.degree.grantor | King Fahad for Petrolem University | |
| dc.description.abstract | أٝرخ لغة تعبير رياضية تمكّن من وصف عمليات حوسبة متوازية (كما في الحوسبة متعددة المهام)، و هي اختصار كلمة أرخصطرة (أٝوركۧسترا)، سُمّيت بذلك تنويها عن عمل قائد الأرخصطرة في تنظيم و توزيع المهام على عازفيه و التنسيق بينهم. تخفي لغة التعبير هذه تفاصيل عمليات الحوسبة المعروفة في لغات البرمجة خلف ستار أنيق لا يحتوي إلا على أدوات بسيطة هي القدرة على نداء الدوالّ و الجمع بينها بأربع منسقات أرخصطرية بسيطة و جامعة. هدفنا من هذا البحث تمكين التأكّد الآليّ من صحة البرامج المكتوبة بلغة أٝرخ، فوجب لذلك كتابة وصف رياضيّ (دلاليّ) كامل للغة أٝرخ، و لعمل ذلك اخترنا محيط عمل يسمى K يمكّن من تعريف لغات ثم تشغيل برامج بتلك اللغات، و يمكّن كذلك من تأكّدٍ من صحتها. يعرض هذا البحث بدقّة كيف استخدمنا مُختلف مميزات K لنصل إلى وصف رياضيّ بسيط و أنيق للغة أٝرخ، و كيف يُقارَن وصفُنا بما سبقه، و كيف يمكّننا هذا من تشغيل برامج بلغة أٝرخ و التأكدِ من صحّتها من خلال عدّة أمثلة مشروحة. | |
| dc.identifier.other | 3088 | |
| dc.identifier.uri | https://drepo.sdl.edu.sa/handle/20.500.14154/2721 | |
| dc.language.iso | en | |
| dc.publisher | Saudi Digital Library | |
| dc.thesis.level | Master | |
| dc.thesis.source | King Fahad for Petrolem University | |
| dc.title | A Formal Executable Semantics of Orc using the K Framework | |
| dc.type | Thesis |