Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects

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