چندوردایی
چندوَردایی که به انگلیسی Polyvariance خوانده میشود به این معنی است که : در آنالیز برنامه، چنانچه رویهها به منظور افزایش دقت تحلیل، چندین بار بررسی شوند(برای نمونه، یکبار در هر نقطه فراخوانی)، این آنالیز، یک تحلیل چندوَردایی نامیده میشود.[۱]
واژه شناسی
[ویرایش]واژه 'وردیدن' از واژه فارسی میانه 'ورتیدن' گرفته شدهاست. این واژه در فارسی دری به صورت گردیدن درآمده است. فرهنگستان از فعل 'وردیدن' برای ساختن مشتقات فعل 'vary' انگلیسی بهره برده است و واژگان 'وردا'، 'هموردا'، 'ناوردا'، 'وردایی'، 'پادوردا' و ... را برساخته است.
منابع
[ویرایش]- ↑ Palsberg, Jens; Pavlopoulou, Christina. "From Polyvariant Flow Information to Intersection and Union Types". Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98): 197–208. doi:10.1017/S095679680100394X.