POPLmark challenge
প্রোগ্রামিং ভাষা তত্ত্বে, পি. ও. পি. এল. মার্ক চ্যালেঞ্জ ("প্রোগ্রামিং ভাষার মানদণ্ডের নীতি" থেকে, পূর্বে গণের জন্য যান্ত্রিক মেটাথেরি!) (আইডেমির, 2005) প্রোগ্রামিং ভাষাগুলির মেটাথেরিতে স্বয়ংক্রিয় যুক্তির (বা যান্ত্রিকীকরণ) অবস্থার মূল্যায়ন করার জন্য এবং আনুষ্ঠানিক পদ্ধতি সম্প্রদায়ের বিভিন্ন অংশের মধ্যে আলোচনা এবং সহযোগিতা উদ্দীপিত করার জন্য ডিজাইন করা মানদণ্ডের একটি সেট। খুব শিথিলভাবে বলতে গেলে, চ্যালেঞ্জটি হল প্রোগ্রামগুলি কীভাবে আচরণ করতে চায় (এবং এর সাথে জড়িত অনেক জটিল সমস্যা) তার একটি নির্দিষ্টকরণের সাথে কতটা ভালভাবে প্রমাণিত হতে পারে তার পরিমাপ সম্পর্কে। চ্যালেঞ্জটি প্রাথমিকভাবে পেনসিলভেনিয়া বিশ্ববিদ্যালয়ের পিএল ক্লাবের সদস্যরা বিশ্বজুড়ে সহযোগীদের সহযোগিতায় প্রস্তাব করেছিলেন। মেকানাইজড মেটাথেরির উপর কর্মশালা হল চ্যালেঞ্জে অংশগ্রহণকারী গবেষকদের প্রধান সভা। পিওপিএলমার্ক মানদণ্ডের নকশা প্রোগ্রামিং ভাষা সম্পর্কে যুক্তির সাধারণ বৈশিষ্ট্য দ্বারা পরিচালিত হয়। চ্যালেঞ্জের সমস্যাগুলির জন্য বড় প্রোগ্রামিং ভাষাগুলির আনুষ্ঠানিককরণের প্রয়োজন হয় না, তবে এগুলির জন্য যুক্তির ক্ষেত্রে পরিশীলনের প্রয়োজন হয়ঃ বাইন্ডিং বেশিরভাগ প্রোগ্রামিং ভাষাগুলির কিছু ধরনের বাইন্ডিং থাকে, যা কেবল টাইপ করা ল্যাম্বডা ক্যালকুলাসের সহজ বাইন্ডার থেকে জটিল, রেকর্ড প্যাটার্নের চিকিত্সার জন্য প্রয়োজনীয় সম্ভাব্য অসীম বাইন্ডার পর্যন্ত জটিল। ইন্ডাকশন বৈশিষ্ট্য যেমন বিষয় হ্রাস এবং শক্তিশালী স্বাভাবিকীকরণের জন্য প্রায়শই জটিল ইন্ডাকশন আর্গুমেন্ট প্রয়োজন হয়। সহযোগিতাকে এগিয়ে নিয়ে যাওয়া চ্যালেঞ্জের একটি মূল লক্ষ্য হওয়ায়, সমাধানগুলিতে পুনরায় ব্যবহারযোগ্য উপাদান থাকবে বলে আশা করা হচ্ছে যা গবেষকদের প্রতিবার স্ক্র্যাচ থেকে শুরু করার প্রয়োজন ছাড়াই ভাষার বৈশিষ্ট্য এবং নকশাগুলি ভাগ করে নেওয়ার অনুমতি দেবে। সমস্যাগুলি হল, পিওপিএলমার্ক চ্যালেঞ্জ তিনটি অংশ নিয়ে গঠিত। পার্ট 1 শুধুমাত্র সিস্টেম এফ <: (সাবটাইপিং সহ সিস্টেম এফ)-এর প্রকারের সাথে সম্পর্কিত, এবং এর মতো সমস্যা রয়েছে যেমনঃ টাইপ সিস্টেমটি সাবটাইপিং-এর ট্রানজিটিভিটি স্বীকার করে কিনা তা পরীক্ষা করা। রেকর্ডের উপস্থিতিতে সাবটাইপিংয়ের ট্রানজিটিভিটি পরীক্ষা করা পার্ট 2 সিস্টেম এফ <: এর সিনট্যাক্স এবং শব্দার্থবিজ্ঞানের সাথে সম্পর্কিত। এটি প্যাটার্ন ম্যাচিং পার্ট 3-এর উপস্থিতিতে বিশুদ্ধ খণ্ডের জন্য টাইপ সুরক্ষার প্রমাণ নিয়ে উদ্বেগ প্রকাশ করে যা সিস্টেম এফ <:-এর আনুষ্ঠানিককরণের ব্যবহারযোগ্যতা নিয়ে উদ্বেগ প্রকাশ করে। বিশেষত, চ্যালেঞ্জটি নিম্নলিখিত সরঞ্জামগুলি ব্যবহার করে পিওপিএলমার্ক চ্যালেঞ্জের অংশগুলির জন্য বেশ কয়েকটি সমাধান প্রস্তাব করা হয়েছেঃ ইসাবেল/এইচওএল, টুয়েলফ, কোক, αপ্রোলগ, এটিএস, আবেলা এবং মাটিটা। আরও দেখুন এক্সপ্রেশন সমস্যা কিউইডি ইশতেহার পিওপিএল সম্মেলনের রেফারেন্স ব্রায়ান ই. আইডেমির, অ্যারন বোহানন, ম্যাথিউ ফেয়ারবেয়ারন, জে. নাথান ফস্টার, বেঞ্জামিন সি. পিয়ার্স, পিটার সিওয়েল, দিমিত্রিয়স ভাইটিনিওটিস, জিওফ্রে ওয়াশবার্ন, স্টেফানি সি. ওয়েইরিচ এবং স্টিফেন এ. জেডান্সউইক। জনসাধারণের জন্য যান্ত্রিক মেটাথেরিঃ পিওপিএলমার্ক চ্যালেঞ্জ। থিউরম প্রোভিং ইন হায়ার অর্ডার লজিক্স-এ, 18তম আন্তর্জাতিক সম্মেলন, টি. পি. এইচ. ও. এল-এর 2005, ভলিউম 3603 লেকচার নোটস ইন কম্পিউটার সায়েন্স, পৃষ্ঠা <আই. ডি1>। স্প্রিঙ্গার, বার্লিন/হাইডেলবার্গ/নিউ ইয়র্ক, 2005। বেঞ্জামিন সি. পিয়ার্স, পিটার সিওয়েল, স্টেফানি ওয়েইরিচ, স্টিভ জেড্যান্সউইক, ইট ইজ টাইম টু মেকানাইজ প্রোগ্রামিং ল্যাঙ্গুয়েজ মেটাথের, ইন বার্ট্রান্ড মায়ার, জিম উডকক (এডস।) যাচাইকৃত সফ্টওয়্যারঃ তত্ত্ব, সরঞ্জাম, পরীক্ষা, এলএনসিএস 4171, স্প্রিঙ্গার বার্লিন/হাইডেলবার্গ, 2008, পৃ। 26-30, বাহ্যিক লিঙ্ক পিওপিএলমার্ক চ্যালেঞ্জ আনুষ্ঠানিক পদ্ধতি প্রোগ্রামিং ভাষা তত্ত্ব স্বয়ংক্রিয় উপপাদ্য যা মানদণ্ড প্রমাণ করে (কম্পিউটিং)