Номинальные методы
 | Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( декабрь 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 .