-
formalizing adequacy: a case study for higher-order abstract syntax
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 994
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
adequacy is an important criterion for judging whether a formalization is suitable for reasoning about the actual object of study. the issue is particularly subtle in the expansive case of approaches to languages with name-binding. in prior work, adequacy has been formalized only with respect to specific representation techniques. in this article, we give a general formal definition based on model-theoretic isomorphisms or interpretations. we investigate and formalize an adequate interpretation of untyped lambda-calculus within a higher-order metalanguage in isabelle/hol using the nominal datatype package. formalization elucidates some subtle issues that have been neglected in informal arguments concerning adequacy.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
تحلیل پایداری رخنمون های سنگی تونل پوزه خون با استفاده از نرم افزار راک پک سه (rock pack iii)
-
سنجش میزان تاب آوری کالبدی- زیر ساختی در حملات هوایی (مورد مطالعه: منطقه 6 شهر تهران)
-
بررسی فراوانی هیستوپاتولوژیک نمونه های بیماران مراجعه کننده با خشونت صدا به بیمارستان امام خمینی(ره) ارومیه طی سال های 1390 تا 1394
-
بررسی رابطه ی بین مدیریت دانش و بهره وری نیروی انسانی در آموزش و پرورش استان فارس
-
ارتباط ژن های ureab, vaca, caga باکتری هلیکوباکترپیلوری با بیماری های زخم دار و بدون زخم معده
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
طراحی مدل تاب آوری زنجیره تأمین در مجتمع گاز پارس جنوبی
-
بررسی کیفیت آب تصفیه شده در واحد اسمز معکوس جهت استفاده در بویلرهای پالایشگاه شیرین سازی گاز کارون
-
رابطه عدم اطمینان محیطی با رفتار هزینه در شرکت های پذیرفته شده بورس اوراق بهادار تهران
-
بررسی نقش هویت های چندگانه در بروز مسأله ی نمایندگی پنهان در حسابداری مدیریت
-
ranking and determining the factors affecting the road freight accidents model
سوال خود را در مورد این مقاله مطرح نمایید :