প্রোগ্রামিং ভাষার আনুষ্ঠানিক শব্দার্থবিদ্যা

Question

আমি প্রোগ্রামিং ল্যাঙ্গুয়েজ থিওরিতে নতুন এবং আমি প্রোগ্রামিং ল্যাঙ্গুয়েজের আনুষ্ঠানিক শব্দার্থবিদ্যার জন্য একটি উত্সে একটি ভাল সংস্থান চাই seeking বিশেষত কাঠামোগত অপারেশনস শব্দার্থবিজ্ঞানের সন্ধান করা। কিছু বইয়ের সুপারিশ পেয়েছি। তবে আমি আরও পরিচিতি স্তরে একটি সংস্থান খুঁজছি। বিশেষত টিউটোরিয়াল, ওয়েব সাইট এবং বিনামূল্যে বইয়ের সুপারিশগুলি স্বাগত জানানো হয়।

Comments

দেখুন cstheory.stackexchange.com/questions/3533/…

— ডেভ ক্লার্ক

আমি ঠিক একই লিঙ্কটি পোস্ট করতে যাচ্ছিলাম, কিন্তু তখন লক্ষ্য করেছি যে ওপি ইতিমধ্যে উল্লেখ করেছে যে তাদের কাছে বইয়ের রিকোস রয়েছে, এবং অন্যান্য রেফারেন্সগুলি অনুসন্ধান করা হয়েছিল

— সুরেশ ভেঙ্কট

Answer 1

আমার বিশ্ববিদ্যালয়ের অপারেশনাল শব্দার্থক কোর্সটি দেখলে নিম্নলিখিতটি তিনটি দেয়:

• অ্যান্ড্রু পিটস এর বক্তৃতা নোট
• গর্ডন প্লটকিনের আড়াসাস স্ট্রাকচারাল অপারেশনাল সিনটেমিকসে নোট করেছেন
• ম্যাথু হেনেসির প্রোগ্রামিং ল্যাঙ্গুয়েজসের শব্দার্থক

ওহদ।

Answer 2

স্ট্রাকচারাল অপারেশনাল সিনটিক্স (এসওএস) একটি খুব সাধারণ ধারণা। এটি মূলত কনফিগারেশনের (সাধারণত প্রোগ্রামগুলির সাথে একটি প্রসঙ্গ যেমন রাজ্য, বা উপলভ্য ধারাবাহিকতা) বা দ্বিগুণ সম্পর্ক রয়েছে, বা, লেবেলযুক্ত শব্দার্থবিজ্ঞানের ক্ষেত্রে, কনফিগারেশন, ক্রিয়াগুলির (যা কিছু নূন্যতম প্রসঙ্গ উপস্থাপন করে) এবং কনফিগারেশনের মধ্যে একটি তিনটি সম্পর্ক। "কাঠামোগত" বিটটি সাধারণত এই সম্পর্কগুলিকে জড়িত সিনট্যাক্সের (উদাহরণস্বরূপ কনফিগারেশন এবং ক্রিয়াকলাপ) এর উপর inductively সংজ্ঞায়িত করা হয়।

যেমন, অন্য প্রয়োজনীয়তা ছাড়াই, আমরা এসওএস-তে বিবেচিত গাণিতিক সত্তাগুলি তাদের নিজস্বভাবে আকর্ষণীয় / ট্র্যাকটেবল হতে খুব সাধারণ।

এসওএসগুলি আকর্ষণীয় এবং তাত্পর্যপূর্ণ হয়ে ওঠে যখন আমরা বিশেষ কেসগুলিতে লক্ষ্য করি, যেমন সময়সী-ক্যালকুলির সমতুল্যতা, হ্রাসের সাথে সম্পর্কিত অ্যাসিনক্রোনাস এম্বিয়েন্ট ক্যালকুলাসের লেবেলযুক্ত ট্রানজিশন, বা নির্দিষ্ট (শ্রেণির) ক্যালকুলির বহিঃপ্রকাশ সম্পর্কে প্রশ্ন।

সুতরাং মিঃ / এমএস সিস্টেমসফল্টের জন্য আমার পরামর্শটি হ'ল সাধারণতাগুলি এড়িয়ে যাওয়া এবং নির্দিষ্ট আগ্রহের ক্যালকুলিতে ডুব দেওয়া। জেনারেল এসওএস কৌশলগুলি সহজেই পথ ধরে নেওয়া যেতে পারে।

Answer 3

আমি এই ডাউনলোডযোগ্য বইয়ের দ্বিতীয় অধ্যায়টি পড়ার পরামর্শ দেব:

অ্যাপ্লিকেশন সঙ্গে শব্দার্থিক: একটি আনুষ্ঠানিক ভূমিকা, Hanne Riis Nielson এবং ফ্লেমিং Nielson, উইলি, 1992 http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html