Unifying Theories of Programming
কম্পিউটার বিজ্ঞানে ইউনিফাইং থিওরিজ অফ প্রোগ্রামিং (ইউ. টি. পি) প্রোগ্রাম শব্দার্থবিজ্ঞান নিয়ে কাজ করে। এটি দেখায় যে কীভাবে প্রোগ্রাম এবং কম্পিউটার সিস্টেমের আনুষ্ঠানিক নির্দিষ্টকরণ, নকশা এবং বাস্তবায়নের জন্য একটি সমন্বিত কাঠামোর মধ্যে সংজ্ঞায়িত শব্দার্থবিজ্ঞান, কার্যকরী শব্দার্থবিজ্ঞান এবং বীজগাণিতিক শব্দার্থবিজ্ঞানকে একত্রিত করা যেতে পারে। এই শিরোনামে লেখা সি. এ. আর-এর বই। হোয়ার এবং হি জিফেং 1998 সালে প্রেন্টিস হল ইন্টারন্যাশনাল সিরিজ ইন কম্পিউটার সায়েন্সে প্রকাশিত হয়েছিল এবং এখন এটি ওয়েবে বিনামূল্যে পাওয়া যায়। তত্ত্বগুলি ইউ. টি. পি-র শব্দার্থিক ভিত্তি হল প্রথম-ক্রমের প্রেডিকেট ক্যালকুলাস, যা দ্বিতীয়-ক্রমের যুক্তি থেকে নির্দিষ্ট বিন্দু গঠনের সাথে বর্ধিত। এরিক হেহনারের ঐতিহ্য অনুসরণ করে, প্রোগ্রামগুলি ইউ. টি. পি-তে ভবিষ্যদ্বাণী করা হয় এবং শব্দার্থিক স্তরে প্রোগ্রাম এবং নির্দিষ্টকরণের মধ্যে কোনও পার্থক্য নেই। হোয়ারের ভাষায়ঃ একটি কম্পিউটার প্রোগ্রামকে সবচেয়ে শক্তিশালী ভবিষ্যদ্বাণী দিয়ে চিহ্নিত করা হয় যা সেই প্রোগ্রামটি সম্পাদনকারী কম্পিউটারের আচরণ সম্পর্কে করা যেতে পারে এমন প্রতিটি প্রাসঙ্গিক পর্যবেক্ষণ বর্ণনা করে। ইউ. টি. পি-র ভাষায়, একটি তত্ত্ব একটি নির্দিষ্ট প্রোগ্রামিং দৃষ্টান্তের একটি মডেল। একটি ইউ. টি. পি তত্ত্ব তিনটি উপাদান নিয়ে গঠিতঃ একটি বর্ণমালা, যা একটি বাহ্যিক সত্তা দ্বারা পর্যবেক্ষণ করা যেতে পারে এমন দৃষ্টান্তের বৈশিষ্ট্যগুলি নির্দেশ করে পরিবর্তনশীল নামগুলির একটি সেট; একটি স্বাক্ষর, যা প্রোগ্রামিং ভাষার সেট যা দৃষ্টান্তের সাথে অন্তর্নিহিত গঠন করে; এবং স্বাস্থ্যকর অবস্থার একটি সংগ্রহ, যা দৃষ্টান্তের মধ্যে খাপ খায় এমন প্রোগ্রামগুলির স্থানকে সংজ্ঞায়িত করে। এই স্বাস্থ্যকর অবস্থাগুলি সাধারণত মনোটোনিক আইডেম্পোটেন্ট প্রেডিকেট ট্রান্সফরমার হিসাবে প্রকাশ করা হয়। ইউ. টি. পি-তে কর্মসূচী পরিমার্জন একটি গুরুত্বপূর্ণ ধারণা। যদি এবং কেবলমাত্র প্রতিটি পর্যবেক্ষণ যা তৈরি করা যেতে পারে তার দ্বারা একটি প্রোগ্রামকে পরিমার্জন করা হয়। পরিষ্করণের সংজ্ঞাটি ইউ. টি. পি তত্ত্বগুলিতে সাধারণঃ যেখানে বর্ণমালার সমস্ত চলকের সর্বজনীন বন্ধকে বোঝায়। সম্পর্ক সবচেয়ে মৌলিক ইউ. টি. পি তত্ত্ব হল বর্ণানুক্রমিক প্রেডিকেট ক্যালকুলাস, যার কোনও বর্ণানুক্রমিক সীমাবদ্ধতা বা স্বাস্থ্যকর অবস্থা নেই। সম্পর্কের তত্ত্বটি কিছুটা বেশি বিশেষায়িত, কারণ একটি সম্পর্কের বর্ণমালায় কেবলমাত্র থাকতে পারেঃ অপ্রচলিত চলক (), তার সম্পাদনের শুরুতে প্রোগ্রামটির পর্যবেক্ষণের মডেলিং; এবং প্রাথমিক চলক (), তার সম্পাদনের পরবর্তী পর্যায়ে প্রোগ্রামটির পর্যবেক্ষণের মডেলিং। কিছু সাধারণ ভাষা গঠনকে সম্পর্কের তত্ত্বে নিম্নরূপ সংজ্ঞায়িত করা যেতে পারেঃ স্কিপ স্টেটমেন্ট, যা কোনওভাবেই প্রোগ্রামের অবস্থাকে পরিবর্তন করে না, তা রিলেশনাল আইডেন্টিটি হিসাবে মডেল করা হয়ঃ একটি ভেরিয়েবলের মান নির্ধারণ করা হয় সেটিং এবং অন্যান্য সমস্ত ভেরিয়েবল (দ্বারা চিহ্নিত) স্থির রাখার মতো মডেল করা হয়ঃ দুটি প্রোগ্রামের ক্রমিক গঠন কেবল মধ্যবর্তী অবস্থার রিলেশনাল গঠনঃ প্রোগ্রামগুলির মধ্যে অ-নির্ধারক পছন্দ হল তাদের সবচেয়ে বড় নিম্ন সীমাঃ প্রোগ্রামগুলির মধ্যে শর্তসাপেক্ষ পছন্দ ইনফিক্স নোটেশন ব্যবহার করে লেখা হয়ঃ পুনরাবৃত্তির জন্য একটি শব্দার্থ একটি মনোটোনিক প্রেডিকেট ট্রান্সফরমারের সর্বনিম্ন স্থির বিন্দু দ্বারা দেওয়া হয়ঃ রেফারেন্স আরও পড়া বহিরাগত লিঙ্ক ইউটিপি ওয়েবসাইট ইউটিপি বই Archive.org 1998 নন-ফিকশন বইগুলিতে