প্রশ্ন ট্যাগ «logical-relations»

আমি প্রোগ্রামের সমতা প্রমাণ করার পদ্ধতিগুলিতে কাজ করা একটি শিক্ষানবিস। যৌক্তিক সম্পর্ক বা দুটি প্রোগ্রাম সমতুল্য প্রমাণ করার জন্য সিমুলেশন সংজ্ঞায়নের বিষয়ে আমি কয়েকটি কাগজপত্র পড়েছি। তবে এই দুটি কৌশল সম্পর্কে আমি বেশ বিভ্রান্ত। আমি কেবল জানি যৌক্তিক সম্পর্কগুলি ইন্ডাকটিভલીভাবে সংজ্ঞায়িত করা হয় যখন সিমুলেশনগুলি সিন্ডকশন ভিত্তিক হয়। কেন তারা …

29 lo.logic  pl.programming-languages  logical-relations  parametricity 

এবং বি সেট দেয় , তাদের মধ্যে একটি বিচ্ছিন্ন সম্পর্ক ( ∼ ) ⊆ এ × বি নিম্নলিখিত সংস্থাকে সন্তুষ্ট করে এমন একটি সম্পর্ক হিসাবে সংজ্ঞায়িত করা হয়:একজনএকজনAবিবিB ( ∼ ) ⊆ এ × বি(~)⊆একজন×বি(\sim) \subseteq A \times B যদি এবং একটি ′ ∼ বি ′ এবং একটি ∼ বি …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

বার্নার্ডি এবং মৌলিনের 2012 টি এলআইএসএস কাগজ ( https://dl.acm.org/citation.cfm?id=2359499 ) দেখার পরে আমি প্যারামিট্রিকটিতে খুব আগ্রহী হয়েছি । এই কাগজটিতে, তারা নির্ভরযোগ্য ধরণের সাথে একটি খাঁটি টাইপ সিস্টেমে অবিচ্ছিন্ন প্যারামিট্রিসিটি অভ্যন্তরীণ করে এবং কীভাবে আপনি নির্মাণকে স্বেচ্ছাচারিতায় আধ্যাত্মিকভাবে প্রসারিত করতে পারেন তার ইঙ্গিত দেয়। আমি কেবল বাইনারি প্যারামিট্রিকটি আগেই সংজ্ঞায়িত …

15 lo.logic  pl.programming-languages  type-systems  logical-relations  parametricity 

আমার আসলে দুটি প্রশ্ন আছে: শব্দার্থবিজ্ঞানের সাথে সম্পর্কিত হওয়ার জন্য কে প্রথম যৌক্তিক সম্পর্ক ব্যবহার করেছিল? আমি তাদের পুনরায় রেনল্ডের " অন ​​রিলেশন বিটুইন বিইন ডাইরেক্ট অ্যান্ড কন্টিনিউশনেশন সেমেন্টিকস "-এ ফিরে পেয়েছি, তবে আমি দাবি করতে পারি না যে একটি বিস্তৃত অনুসন্ধান করেছে। যৌক্তিক সম্পর্কের রেফারেন্সগুলি আমি এর আগে খুঁজে …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

প্যারামেট্রিক পলিমারফিজমের মডেলগুলির দিকে তাকিয়ে আমি কৌতূহল বোধ করি কেন রেফ্লেক্সিভ গ্রাফ বিভাগগুলি ব্যবহার করা হয়? বিশেষত, কেন তারা আপেক্ষিক রচনা অন্তর্ভুক্ত করে না? মডেলগুলির দিকে তাকিয়ে, তারা সকলেই আপেক্ষিক রচনার একটি প্রাকৃতিক ধারণা সমর্থন করে বলে মনে হচ্ছে: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge y S z রিফ্লেক্সিভ …

11 ct.category-theory  parametricity  logical-relations