প্রশ্ন ট্যাগ «operational-semantics»

শক্তিশালী নরমালাইজেশন প্রমাণগুলি নিয়ে আলোচনা করার সময়, এই মন্তব্যটি "সাধারণ ফর্মগুলির মডেল" কে "খাঁটি সিনট্যাকটিক পদ্ধতিগুলি" এর সাথে পৃথক করে। এটি আমাকে আরও একটি মৌলিক প্রশ্নে ফিরিয়ে এনেছে: সিনট্যাক্স ভিত্তিক মডেলগুলির ক্ষেত্রে আমরা কী সিনট্যাক্টিক এবং শব্দার্থক নির্মাণগুলি কঠোরভাবে আলাদা করতে পারি? বীজগণিতগুলির জন্য টার্ম মডেলগুলি, প্রথম-আদেশের যুক্তির জন্য হেনকিনের …

14 lo.logic  pl.programming-languages  operational-semantics 

"অ্যাডভান্সড স্কিম: কিছু দুষ্টু বিট" পৃষ্ঠাটি বলেছে: ধারাবাহিকতা একটি শক্তিশালী নিয়ন্ত্রণ-প্রবাহ গঠন যা থেকে অন্য যে কোনও নিয়ন্ত্রণ-প্রবাহ কাঠামো [...] থেকে নেওয়া যেতে পারে। আমি ভেবেছিলাম যে স্কিমটির call/cc, (*) পিটার ল্যান্ডিনের জে অপারেটরের সাথে সম্পর্কিত, কোনও পরিচিত নিয়ন্ত্রণ প্রবাহ কাঠামো প্রয়োগ করতে ব্যবহার করা যেতে পারে ? "নিয়ন্ত্রণ প্রবাহ …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

একটি শুদ্ধি প্রমাণ জন্য, আমি প্রোগ্রাম সমানতা একটি ব্যবহারযোগ্য ধারণা খুঁজছি Barendregt বিশুদ্ধ টাইপ ব্যবস্থা (PTSs) জন্য; যথেষ্ট পরিমাণ নির্দিষ্ট সিস্টেমের জন্য এটি অনুপস্থিত missing আমার লক্ষ্য কেবল ধারণাটি ব্যবহার করা, এটি নিজের স্বার্থে অনুসন্ধান করা নয়।≅≅\cong এই ধারণা "হওয়া উচিত এক্সটেনশনাল " - বিশেষ করে, প্রমাণ করতে হবে যে …

11 pl.programming-languages  type-theory  operational-semantics 

প্রোগ্রামিং ল্যাঙ্গুয়েজ শব্দার্থবিজ্ঞানে, প্রায়শই শোনা যায় যে লোকেরা অর্থ এবং বর্ণের কথা বলে । তারা এক হিসাবে না বলে মনে হচ্ছে। পার্থক্য কি? পূর্ববর্তীটি অপারেশনাল শব্দার্থকগুলির সাথে যুক্ত হয়, যখন পরবর্তীটি ডেনোটেশনাল শব্দার্থবিদ্যার সাথে থাকে? ধন্যবাদ।

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics