Главная
 
Разделы
 
 
Исмаилова Л.Ю.
 

Аппликативные вычислительные системы: Труды 3-й международной конференции по аппликативным вычислительным системам Аппликативные вычислительные системы: Труды 3-й международной конференции по аппликативным вычислительным системам
Автор: Жанр: Разное Издательство: ЮрИнфоР Год: 2012 Страниц: 297 Дата загрузки: 25 мая 2015
   Аппликативные вычислительные системы, или АВС, включают системы исчислений объектов, основанные на комбинаторной логике и лямбда-исчислении. Единственное, что существенно разрабатывается в этих системах — это представление об объекте. В комбинаторной логике единственный метаоператор — аппликация, или, по иной терминологии, приложение одного объекта к другому. В лямбда-исчислении два метаоператора — аппликация и функциональная абстракция, позволяющая связывать одну переменную в одном объекте. Возникающие в этих системах объекты ведут себя как функциональные сущности, имеющие следующие особенности: 1. Число аргументных мест, или арность объекта, заранее не фиксируется, но проявляет себя постепенно, во взаимодействиях с другими объектами; 2. При конструировании составного объекта один из исходных объектов — функция, — применяется к другому — аргументу, — причем в других контекстах они могут поменяться ролями, то есть функции и аргументы рассматриваются как объекты на равных правах; 3. Разрешается самоприменимость функций, то есть объект может применяться сам к себе. АВС дают основания аппликативному подходу к программированию. Аппликативный компьютинг предполагает комбинационное построение вычисления как относительно самостоятельного блока, пользуясь уже имеющимися блоками вычислений, причем все переменные в каждом блоке вычисления связаны, а сам он — замкнут. Для осуществления аппликативного компьютинга применяют АВС.
 

 

 

 

2011–2024

Рейтинг@Mail.ru