Unifying Theories of Programming
कंप्यूटर विज्ञान में प्रोग्रामिंग के एकीकृत सिद्धांत (यू. टी. पी.) प्रोग्राम शब्दार्थ से संबंधित हैं। यह दर्शाता है कि कार्यक्रमों और कंप्यूटर प्रणालियों के औपचारिक विनिर्देश, डिजाइन और कार्यान्वयन के लिए एक एकीकृत ढांचे में सांकेतिक शब्दार्थ, परिचालन शब्दार्थ और बीजगणितीय शब्दार्थ को कैसे जोड़ा जा सकता है। सी. ए. आर. की इस शीर्षक की पुस्तक। होर और हे जिफेंग को 1998 में कंप्यूटर विज्ञान में प्रेंटिस हॉल इंटरनेशनल सीरीज़ में प्रकाशित किया गया था और अब यह वेब पर स्वतंत्र रूप से उपलब्ध है। सिद्धांत यू. टी. पी. की शब्दार्थ आधार प्रथम-क्रम विधेय कलन है, जो द्वितीय-क्रम तर्क से निश्चित बिंदु निर्माण के साथ संवर्धित है। एरिक हेनर की परंपरा का पालन करते हुए, कार्यक्रम यू. टी. पी. में विधेय हैं, और शब्दार्थ स्तर पर कार्यक्रमों और विनिर्देशों के बीच कोई अंतर नहीं है। होर के शब्दों मेंः एक कंप्यूटर प्रोग्राम की पहचान सबसे मजबूत विधेय के साथ की जाती है जो उस प्रोग्राम को निष्पादित करने वाले कंप्यूटर के व्यवहार के प्रत्येक प्रासंगिक अवलोकन का वर्णन करता है। यू. टी. पी. की भाषा में, एक सिद्धांत एक विशेष प्रोग्रामिंग प्रतिमान का एक मॉडल है। एक यू. टी. पी. सिद्धांत तीन अवयवों से बना होता हैः एक वर्णमाला, जो प्रतिमान की विशेषताओं को दर्शाने वाले चर नामों का एक समूह है जिसे एक बाहरी इकाई द्वारा देखा जा सकता है; एक हस्ताक्षर, जो प्रोग्रामिंग भाषा का समूह है जो प्रतिमान के लिए आंतरिक निर्माण करता है; और स्वास्थ्य स्थितियों का एक संग्रह, जो प्रतिमान के भीतर फिट होने वाले कार्यक्रमों के स्थान को परिभाषित करता है। इन स्वास्थ्य स्थितियों को आम तौर पर मोनोटोनिक इडेम्पोटेंट प्रेडिकेट ट्रांसफॉर्मर के रूप में व्यक्त किया जाता है। यू. टी. पी. में कार्यक्रम परिष्करण एक महत्वपूर्ण अवधारणा है। एक कार्यक्रम को केवल अगर और केवल तभी परिष्कृत किया जाता है जब प्रत्येक अवलोकन जो किया जा सकता है वह भी एक अवलोकन है। परिष्करण की परिभाषा यू. टी. पी. सिद्धांतों में आम हैः जहां वर्णमाला में सभी चरों के सार्वभौमिक समापन को दर्शाता है। संबंध सबसे बुनियादी यू. टी. पी. सिद्धांत वर्णानुक्रम विधेय कलन है, जिसमें कोई वर्णानुक्रम प्रतिबंध या स्वास्थ्य की स्थिति नहीं है। संबंधों का सिद्धांत थोड़ा अधिक विशिष्ट है, क्योंकि एक संबंध की वर्णमाला में केवल निम्न शामिल हो सकते हैंः अप्रचलित चर (), इसके निष्पादन की शुरुआत में कार्यक्रम के अवलोकन का प्रतिरूपण; और प्राथमिक चर (), इसके निष्पादन के बाद के चरण में कार्यक्रम के अवलोकन का प्रतिरूपण। कुछ सामान्य भाषा निर्माणों को संबंधों के सिद्धांत में निम्नानुसार परिभाषित किया जा सकता हैः स्किप स्टेटमेंट, जो किसी भी तरह से प्रोग्राम की स्थिति को नहीं बदलता है, को संबंधपरक पहचान के रूप में मॉडल किया जाता हैः एक चर के लिए मूल्य का असाइनमेंट को अन्य सभी चरों (द्वारा निरूपित) को स्थिर रखने और रखने के रूप में मॉडल किया जाता हैः दो कार्यक्रमों की अनुक्रमिक संरचना केवल मध्यवर्ती स्थिति की संबंधपरक संरचना हैः कार्यक्रमों के बीच गैर-निर्धारक विकल्प उनकी सबसे बड़ी निचली सीमा हैः कार्यक्रमों के बीच सशर्त विकल्प इंफिक्स संकेतन का उपयोग करके लिखा जाता हैः पुनरावृत्ति के लिए एक शब्दार्थ एक मोनोटोनिक प्रेडिकेट ट्रांसफॉर्मर के सबसे कम निश्चित बिंदु द्वारा दिया जाता हैः संदर्भ आगे पढ़ने के लिए बाहरी लिंक यू. टी. पी. वेबसाइट यू. टी. पी. पुस्तक Archive.org 1998 गैर-काल्पनिक पुस्तकों पर