Аппликативные вычислительные системы: Труды конференции по аппликативным вычислительным системам (ABC`2008), Москва, 29-30 апреля 2008 г.

под заказ

Цена в интернет-магазине: 149,00 руб.

ISBN: 978-5-89158-157-9
Внешнее покрытие издания: в обл.
Тираж издания: 500
Основное заглавие: Аппликативные вычислительные системы: Труды конференции по аппликативным вычислительным системам (ABC`2008), Москва, 29-30 апреля 2008 г.
Последующие сведения об ответственности: Под ред. Л. Ю. Исмаиловой
Место издания: М.
Издатель: НОУ Институт "ЮрИнфоР-МГУ"
Дата издания: 2008
Объем издания (количество страниц): 48
Высота, см.: 20
Индекс УДК: 004.7
Статус записи (Тип информации): В наличии
Ширина, см: 14
Толщина, см: 0,5
Вес в граммах: 60
Артикул: 2126539

Описание

Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах - это представление об объекте. В комбинаторной логике единственный метаоператор - аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора - аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте. Возникающие в этих системах объекты ведут себя как функциональные сущности, имеющие следующие особенности: (1) число аргументных мест, или арность объекта заранее не фиксируется, но проявляет себя постепенно, во взаимодействиях с другими объектами; (2) при конструировании составного объекта один из исходных объектов - функция, - применяется к другому - аргументу, - причем в других контекстах они могут поменяться ролями, то есть функции и аргументы рассматриваются как объекты на равных правах; (3) разрешается самоприменимость функций, то есть объект может применяться сам к себе. АВС дают основания аппликативному подходу к программированию. Аппликативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений, причем все переменные в каждом блоке вычисления связаны, а сам он - замкнут. Для осуществления аппликативного компьютинга применяют АВС.