UniversityBooks.ru
 
Поиск:   
 Расширенный поиск | Как искать
Корзина   Выслать пароль   Войти  
Сегодня в продаже книги
Помощь
Главная / Каталог книг / Прикладные науки. Техника / Информатика. Вычислительная техника

Аппликативные вычислительные системы: Труды 2 - й международной конференции по аппликативным вычислительным системам (АВС'2010) , Москва, 29 - 31 октября 2010 г.

Аппликативные вычислительные системы:  Труды 2 - й международной конференции по аппликативным вычислительным системам  (АВС'2010) ,  Москва,  29 - 31 октября 2010 г.
Увеличить обложку

     
Автор: Л.Ю.Исмаилова (ред.)
Издательство: ЮрИнфоР
Год издания: 2010
ISBN: 978-5-91329-018-2
Количество страниц: 110
     
456,5 руб.
Количество: 
Добавить в корзину

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

Аппликативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений, причем все переменные в каждом блоке вычисления связаны, а сам он – замкнут. Для осуществления аппликативного компьютинга применяют АВС.

Конференция осуществляется при поддержке РФФИ, проект № 10-07-06080-г.





Информатика. Вычислительная техника :
смотреть также...




  ©2005-2017 UniversityBooks.ru.
  Создание и поддержка сайта: студия Ocean Lab.