Unifying Theories of Programming
கணினி அறிவியலில் நிரலாக்கத்தின் ஒருங்கிணைந்த கோட்பாடுகள் (யுடிபி) நிரல் சொற்பொருள்களைக் கையாள்கிறது. நிரல்கள் மற்றும் கணினி அமைப்புகளின் முறையான விவரக்குறிப்பு, வடிவமைப்பு மற்றும் செயல்படுத்தலுக்கான ஒருங்கிணைந்த கட்டமைப்பில் குறிச்சொல் சொற்பொருள், செயல்பாட்டு சொற்பொருள் மற்றும் இயற்கணித சொற்பொருள் ஆகியவற்றை எவ்வாறு இணைக்க முடியும் என்பதை இது காட்டுகிறது. இந்த தலைப்பில் சி. ஏ. ஆர் எழுதிய புத்தகம். ஹோரே மற்றும் ஹி ஜிஃபெங் 1998 ஆம் ஆண்டில் கணினி அறிவியலில் ப்ரெண்டிஸ் ஹால் இன்டர்நேஷனல் தொடரில் வெளியிடப்பட்டது, இப்போது இணையத்தில் இலவசமாகக் கிடைக்கிறது. கோட்பாடுகள் யுடிபியின் சொற்பொருள் அடித்தளம் முதல் வரிசை முன்கணிப்பு கால்குலஸ் ஆகும், இது இரண்டாவது வரிசை தர்க்கத்திலிருந்து நிலையான புள்ளி கட்டமைப்புகளுடன் அதிகரிக்கப்படுகிறது. எரிக் ஹெஹ்னரின் பாரம்பரியத்தைப் பின்பற்றி, நிரல்கள் யுடிபியில் கணிக்கப்பட்டவை, மேலும் சொற்பொருள் மட்டத்தில் நிரல்கள் மற்றும் விவரக்குறிப்புகளுக்கு இடையே வேறுபாடு இல்லை. ஹோரேவின் வார்த்தைகளில் கூறுவதானால்ஃ ஒரு கணினி நிரல் அந்த நிரலை இயக்கும் கணினியின் நடத்தையைப் பற்றி செய்யக்கூடிய ஒவ்வொரு பொருத்தமான அவதானிப்பையும் விவரிக்கும் வலுவான முன்கணிப்புடன் அடையாளம் காணப்படுகிறது. யுடிபி பேச்சுவழக்கில், ஒரு கோட்பாடு என்பது ஒரு குறிப்பிட்ட நிரலாக்க முன்னுதாரணத்தின் மாதிரியாகும். ஒரு யுடிபி கோட்பாடு மூன்று கூறுகளைக் கொண்டுள்ளதுஃ ஒரு எழுத்துக்கள், இது ஒரு வெளிப்புற நிறுவனத்தால் கவனிக்கக்கூடிய முன்னுதாரணத்தின் பண்புகளைக் குறிக்கும் மாறி பெயர்களின் தொகுப்பாகும்; ஒரு கையொப்பம், இது நிரலாக்க மொழியின் தொகுப்பாகும், இது முன்னுதாரணத்திற்கு உள்ளார்ந்த கட்டமைப்பை உருவாக்குகிறது; மற்றும் ஆரோக்கியமான நிலைமைகளின் தொகுப்பு, இது முன்னுதாரணத்திற்குள் பொருந்தக்கூடிய நிரல்களின் இடத்தை வரையறுக்கிறது. இந்த ஆரோக்கியமான நிலைமைகள் பொதுவாக மோனோடோனிக் ஐடிம்போட்டன்ட் பிரடிகேட் மின்மாற்றிகளாக வெளிப்படுத்தப்படுகின்றன. நிரல் சுத்திகரிப்பு என்பது யுடிபியில் ஒரு முக்கியமான கருத்தாகும். செய்யக்கூடிய ஒவ்வொரு அவதானிப்பும் ஒரு அவதானிப்பாக இருந்தால் மட்டுமே ஒரு நிரல் சுத்திகரிக்கப்படுகிறது. சுத்திகரிப்பு வரையறை யுடிபி கோட்பாடுகளில் பொதுவானதுஃ இது எழுத்துக்களில் உள்ள அனைத்து மாறிகளின் உலகளாவிய மூடலைக் குறிக்கிறது. உறவுகள் மிக அடிப்படையான யுடிபி கோட்பாடு அகரவரிசை கணிப்பு கால்குலஸ் ஆகும், இது எழுத்துக்கள் கட்டுப்பாடுகள் அல்லது ஆரோக்கிய நிலைமைகளைக் கொண்டிருக்கவில்லை. உறவுகளின் கோட்பாடு சற்று விசேஷமானது, ஏனெனில் ஒரு உறவின் எழுத்துக்கள் பின்வருவனவற்றை மட்டுமே கொண்டிருக்கலாம்ஃ அலங்கரிக்கப்படாத மாறிகள் (), அதன் செயல்பாட்டின் தொடக்கத்தில் நிரலின் அவதானிப்பை மாதிரியாக்குதல்; மற்றும் முதன்மை மாறிகள் (), அதன் செயல்பாட்டின் பிற்கால கட்டத்தில் நிரலின் அவதானிப்பை மாதிரியாக்குதல். சில பொதுவான மொழி கட்டமைப்புகளை உறவுகளின் கோட்பாட்டில் பின்வருமாறு வரையறுக்கலாம்ஃ நிரல் நிலையை எந்த வகையிலும் மாற்றாத ஸ்கிப் ஸ்டேட்மென்ட், ரிலேஷனல் அடையாளமாக வடிவமைக்கப்பட்டுள்ளதுஃ ஒரு மாறிக்கு மதிப்பை ஒதுக்குவது மற்ற அனைத்து மாறிகளையும் அமைப்பதற்கும் வைத்திருப்பதற்கும் மாதிரியாக வடிவமைக்கப்பட்டுள்ளது (குறிக்கப்படுகிறது) நிலைஃ இரண்டு நிரல்களின் தொடர்ச்சியான கலவை இடைநிலை நிலையின் ரிலேஷனல் கலவை மட்டுமேஃ நிரல்களுக்கு இடையிலான நிர்ணயிக்கப்படாத தேர்வு அவற்றின் மிகப்பெரிய கீழ் வரம்பாகும்ஃ நிரல்களுக்கு இடையிலான நிபந்தனை தேர்வு இன்ஃபிக்ஸ் குறியீட்டைப் பயன்படுத்தி எழுதப்படுகிறதுஃ மறுபயன்பாட்டிற்கான சொற்பொருள் ஒரு மோனோடோனிக் முன்கணிப்பு மின்மாற்றியின் குறைந்தபட்ச நிலையான புள்ளியால் வழங்கப்படுகிறதுஃ குறிப்புகள் மேலும் வாசிப்பு வெளிப்புற இணைப்புகள் யுடிபி வலைத்தளம் யுடிபி புத்தகம் Archive.org 1998 புனைகதை அல்லாத புத்தகங்கள் கணினி