متناسب با متن زیر، یک عنوان انتخاب کرده و آن را خلاصه کنید

متن: ارزیابی کندرو ابتدا برای جبر لاندا توسط کریستوفر وادزورث تعبیه شد. پیتر هندرسون و جیمز هیرام موریس و همچنین دنیل پائول فریدمن و دیوید وایس هر یک این ارزیابی را برای زبان‌های برنامه‌نویسی به‌طور مستقل تعریف کردند. ارزیابی کندرو طبق شرح جان لوئیس بنتلی در گزارش «نوشتن برنامه کارآمد» معمولا با مموایز کردن ترکیب می‌شود. در عمل به هر عبارت که معادل تابعی از یک یا چند متغیر با مقادیری مشخص می‌باشد، خانه‌ای از حافظه تعلق می‌گیرد که این خانه با داشتن مقادیر متغیرها قابل‌دسترسی است. در مموایز کردن عبارات به دو دسته تقسیم می‌شوند. دسته اول عباراتی هستند که برای بار اول محاسبه می‌شوند. در این دسته پس از محاسبه عبارت، مقدار حاصل را در خانه مربوطه نیز ذخیره می‌کنند. دسته دوم عباراتی هستند که برای بار دوم و یا بیشتر مورد استفاده قرار می‌گیرند. این عبارات از دفعه دوم به بعد، به جای محاسبه مجدد، به خانه حافظه مربوطه رجوع کرده و مقدار را از خانه حافظه برمی‌دارند. کارکرد مموایز کردن در ارزیابی کندرو تنها این تفاوت را قائل می‌شود که محاسبه و ذخیره‌سازی عبارت را تا اولین زمان نیاز به مقدار عبارت، به تأخیر می‌اندازد. روشن است که ایجاد این تأخیر اثر مخربی بر فرایند مموایز کردن ندارد و سلسله عملکرد آن را حفظ خواهد کرد. بنابراین در ارزیابی کندرو در صورت مواجه‌شدن با یک عبارت، ابتدا تا اولین نیاز به مقدار آن هیچ اقدامی صورت نمی‌گیرد. سپس در هنگام نیاز به مقدار عبارت، ابتدا بررسی می‌شود که این اولین باریست که نیاز به محاسبه عبارت وجود دارد یا خیر. اگر اولین بار باشد، مقدار عبارت طبق رویه تابع محاسبه گردیده و مقدار آن در خانه مربوطه نیز ذخیره می‌شود. در غیر این صورت، بدون محاسبه مجدد عبارت، مقدار آن‌که در مراحل قبل محاسبه‌شده، از خانه مربوطه برداشته می‌شود و مورد استفاده قرار می‌گیرد. بخشی از حافظه را که به مقادیر عبارات تعلق می‌گیرد، جدول مراجع می‌نامند. غیرموکد بودن این ارزیابی، با توجه به این‌که ذخیره مقدار را تا زمان نیاز به تأخیر می‌اندازد، موجب کاهش حافظه مورد استفاده در هر لحظه خواهد شد. اما با این حال محاسبه حافظه مورد استفاده در این روش ارزیابی قابل پیش‌بینی نیست. علاوه بر این در عبارات ساختاریافته، می‌توان با بخش‌بندی کردن عبارت، تنها بخش‌های مورد نیاز آن را محاسبه کرد و …
جواب:
"ارزیابی کندرو" میتواند عنوان مناسب و "در میان استراتژی‌های ارزیابی در نظریهٔ زبان‌های برنامه‌نویسی ، ارزیابی کندرو یا فراخوانی به هنگام نیاز استراتژی‌ای برای ارزیابی است که دارای دو ویژگی ارزیابی غیرموکد و اشتراک‌گذاری می‌باشد . ارزیابی غیرموکد موجب می‌شود که محاسبه و ارزیابی یک عبارت تا جای ممکن به تأخیر افتاده و در اولین زمانی که دسترسی به آن نیاز بود ، محاسبه شود . ارزیابی کندرو به وسیلهٔ اشتراک‌گذاری از ارزیابی‌های تکراری جلوگیری می‌کند . به کمک اشتراک‌گذاری ، زمان اجرای یک تابع به صورت توانی نسبت به دیگر استراتژی‌هایی که ارزیابی غیرموکد دارند کاهش می‌یابد و به این صورت ترکیب این دو ویژگی ، ارزیابی کندرو را نسبت به دیگر استراتژی‌ها بهبود می‌بخشد . از جمله این استراتژی‌ها می‌توان استراتژی فراخوانی با نام را نام برد ." میتواند خلاصه ی مناسبی برای این متن باشد