Unifying Theories of Programming
કોમ્પ્યુટર વિજ્ઞાનમાં યુનિફાઇંગ થિયરીઝ ઓફ પ્રોગ્રામિંગ (યુ. ટી. પી.) પ્રોગ્રામ સિમેન્ટિક્સ સાથે કામ કરે છે. તે દર્શાવે છે કે કેવી રીતે ડીનોટેશનલ સિમેન્ટિક્સ, ઓપરેશનલ સિમેન્ટિક્સ અને બીજગણિત સિમેન્ટિક્સને પ્રોગ્રામ અને કમ્પ્યુટર સિસ્ટમ્સના ઔપચારિક સ્પષ્ટીકરણ, ડિઝાઇન અને અમલીકરણ માટે એકીકૃત માળખામાં જોડી શકાય છે. સી. એ. આર. દ્વારા આ શીર્ષકનું પુસ્તક. હોર એન્ડ હી જિફેંગ 1998માં કમ્પ્યુટર સાયન્સમાં પ્રેન્ટિસ હોલ ઇન્ટરનેશનલ સિરીઝમાં પ્રકાશિત થયું હતું અને હવે તે વેબ પર મુક્તપણે ઉપલબ્ધ છે. સિદ્ધાંતો યુ. ટી. પી. નો સિમેન્ટીક પાયો એ ફર્સ્ટ-ઓર્ડર પ્રેડિકેટ કેલ્ક્યુલસ છે, જે સેકન્ડ-ઓર્ડર લોજિકમાંથી ફિક્સ્ડ પોઇન્ટ કન્સ્ટ્રક્ટ્સ સાથે સંવર્ધિત છે. એરિક હેનરની પરંપરાને અનુસરીને, પ્રોગ્રામ્સ યુ. ટી. પી. માં અનુમાનિત છે, અને સિમેન્ટીક સ્તરે પ્રોગ્રામ્સ અને સ્પષ્ટીકરણો વચ્ચે કોઈ તફાવત નથી. હોરના શબ્દોમાં કહીએ તોઃ કમ્પ્યુટર પ્રોગ્રામને તે પ્રોગ્રામને ચલાવતા કમ્પ્યુટરની વર્તણૂકના દરેક સંબંધિત અવલોકનનું વર્ણન કરતી સૌથી મજબૂત આગાહી સાથે ઓળખવામાં આવે છે. યુ. ટી. પી. ની ભાષામાં, એક સિદ્ધાંત એ ચોક્કસ પ્રોગ્રામિંગ નમૂનાનું એક મોડેલ છે. યુ. ટી. પી. સિદ્ધાંત ત્રણ ઘટકોથી બનેલો છેઃ એક મૂળાક્ષર, જે બાહ્ય અસ્તિત્વ દ્વારા અવલોકન કરી શકાય તેવા નમૂનાના લક્ષણોને સૂચવતા ચલ નામોનો સમૂહ છે; એક હસ્તાક્ષર, જે પ્રોગ્રામિંગ ભાષાનો સમૂહ છે જે નમૂનાની આંતરિક રચના કરે છે; અને તંદુરસ્તીની સ્થિતિઓનો સંગ્રહ, જે નમૂનાની અંદર બંધબેસતા કાર્યક્રમોની જગ્યાને વ્યાખ્યાયિત કરે છે. આ સ્વાસ્થ્યની સ્થિતિઓને સામાન્ય રીતે મોનોટોનિક આઇડેમ્પોટન્ટ પ્રેડિકેટ ટ્રાન્સફોર્મર્સ તરીકે વ્યક્ત કરવામાં આવે છે. યુ. ટી. પી. માં કાર્યક્રમ શુદ્ધિકરણ એ એક મહત્વપૂર્ણ ખ્યાલ છે. એક કાર્યક્રમને જો અને માત્ર ત્યારે જ શુદ્ધ કરવામાં આવે છે જ્યારે દરેક અવલોકન જે કરી શકાય છે તે પણ તેનું અવલોકન છે. શુદ્ધિકરણની વ્યાખ્યા યુ. ટી. પી. સિદ્ધાંતોમાં સામાન્ય છેઃ જ્યાં મૂળાક્ષરમાં તમામ ચલોનું સાર્વત્રિક સમાપન સૂચવે છે. સંબંધો સૌથી મૂળભૂત યુ. ટી. પી. સિદ્ધાંત એ મૂળાક્ષર આધારિત અનુમાનિત કલન છે, જેમાં કોઈ મૂળાક્ષર પ્રતિબંધો અથવા સ્વાસ્થ્યની સ્થિતિ નથી. સંબંધોનો સિદ્ધાંત થોડો વધુ વિશિષ્ટ છે, કારણ કે સંબંધના મૂળાક્ષરમાં ફક્તઃ અપ્રચલિત ચલ (), તેના અમલની શરૂઆતમાં કાર્યક્રમના નિરીક્ષણનું મોડેલિંગ; અને પ્રાથમિક ચલ (), તેના અમલના પછીના તબક્કે કાર્યક્રમના નિરીક્ષણનું મોડેલિંગ હોઈ શકે છે. કેટલીક સામાન્ય ભાષાની રચનાઓને સંબંધોના સિદ્ધાંતમાં નીચે પ્રમાણે વ્યાખ્યાયિત કરી શકાય છેઃ સ્કિપ સ્ટેટમેન્ટ, જે કોઈ પણ રીતે પ્રોગ્રામની સ્થિતિમાં ફેરફાર કરતું નથી, તેને સંબંધાત્મક ઓળખ તરીકે મોડેલિંગ કરવામાં આવે છેઃ ચલ માટે મૂલ્યની સોંપણીને અન્ય તમામ ચલો (દ્વારા સૂચવવામાં આવે છે) ને સુયોજિત કરવા અને સતત રાખવા તરીકે મોડેલિંગ કરવામાં આવે છેઃ બે પ્રોગ્રામ્સની ક્રમિક રચના એ માત્ર મધ્યવર્તી સ્થિતિની સંબંધાત્મક રચના છેઃ પ્રોગ્રામ્સ વચ્ચેની બિન-નિર્ણાયક પસંદગી તેમની સૌથી મોટી નીચલી સીમા છેઃ પ્રોગ્રામ્સ વચ્ચેની શરતી પસંદગી ઇન્ફિક્સ નોટેશનનો ઉપયોગ કરીને લખવામાં આવે છેઃ પુનરાવર્તન માટે સિમેન્ટિક્સ મોનોટોનિક પ્રેડિકેટ ટ્રાન્સફોર્મરના ઓછામાં ઓછા નિશ્ચિત બિંદુ દ્વારા આપવામાં આવે છેઃ સંદર્ભો વધુ વાંચન બાહ્ય લિંક્સ યુ. ટી. પી. વેબસાઇટ યુ. ટી. પી. પુસ્તક Archive.org 1998 બિન-કાલ્પનિક પુસ્તકો પર