Номинальные техники - Nominal techniques
 | Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. (Декабрь 2010 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
 | Эта статья предоставляет недостаточный контекст для тех, кто не знаком с предметом. (Декабрь 2010 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Номинальные техники представляют собой набор методов, основанных на номинальные наборы, для обработки имен и привязки, например в абстрактный синтаксис. Исследование номинальных наборов привело к номинальные условия, метаязык для встраивания объектных языков с конструкциями привязки имен.
Смотрите также
Рекомендации
- Мердок Дж. Габбей и Эндрю М. Питтс (2002). «НОВЫЙ подход к абстрактному синтаксису с привязками переменных». Формальные аспекты вычислений. 13 (3–5): 341–363. CiteSeerX 10.1.1.7.4261. Дои:10.1007 / s001650200016.
- Кристиан Урбан, Эндрю М. Питтс и Мердок Дж. Габбей (2004). «Номинальная унификация». Теоретическая информатика. 323 (1–3): 473–497. Дои:10.1016 / j.tcs.2004.06.016.