Embedding attribute grammars and their extensions using functional zippers

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