Effect-polymorphic behaviour inference for deadlock checking

ما یک الگوریتم استنتاج اثرات مبتنی بر محدودیت برای چک کردن خرابی ارائه می دهیم. تجزیه و تحلیل استاتیک برای یک محاسبات همزمان با توابع مرتبه بالاتر و ایجاد قفل پویا، که در آن قفل ها بر اساس سایت ایجاد آنها، خلاصه شده است. تجزیه و تحلیل حساس به محتوا است و اثرات حاصل می تواند برای کشف حوادث با استفاده از اکتشافات فضایی دولتی مورد بررسی قرار گیرد. ما از یک رابطه شبیه سازی حساس به بنفع خاص استفاده می کنیم تا نشان دهد که اثرات به طور صریح بیش از حد تقریبی رفتار یک برنامه، به ویژه که وقفه در برنامه در اثرات حفظ شده است.