-
a solution to the poplmark challenge based on de bruijn indices
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 983
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
the poplmark challenge proposes a set of benchmarks intended to assess the usability of proof assistants in the context of research on programming languages. it is based on the metatheory of system f <:. we present a solution to the challenge using de bruijn indices, developed with the coq proof assistant.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
سوآپ و فارکس در ایران
-
بررسی اثرات انواع سیستم های سازه ای مختلف و تغییرات تراز پایه در محاسبه برش پایه ساختمان های بلند
-
مطا لعه عددی بررسی فشار جانبی خاک در حالت سکون با دو حالت اکتیو و پاسیو خاک بر دیوارهای حائل انعطاف پذیر (cut off wall)
-
ارتعاشات آزاد پوسته استوانه ای دوار تشکیل شده از لایه مرکزی fgm و دو لایه پیزوالکتریک در داخل و خارج
-
real-time multi-camera video analytics system on gpu
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
واکاوی مبانی فقهی فور و تراخی در اخذ به شفعه
-
بررسی تأثیر ریسک سیستمی، سرمایه گذاری مستقیم خارجی و تجارت بین الملل بر کارایی سرمایه گذاری در شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تاثیر جان بخشی برند بر وفاداری مشتریان با نقش میانجی شخصیت برند (موردمطالعه: مصرف کنندگان خودروهای داخلی)
-
مبانی قانونی و فقهی مسئولیت مدنی شهرداری در پرداخت معوض عقب نشینی املاک
-
water management using system dynamics modeling in semi-arid regions
سوال خود را در مورد این مقاله مطرح نمایید :