Models of Sharing Graphs: A Categorical Semantics of let and letrec

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

Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout this work, which enables the author to describe several aspects of the notion of sharing in a systematic way. In particular, a novel account of recursive computation created from cyclic sharing is developed using this framework.