Складчина: Основания языков программирования (720 стр.) 2010 Спойлер: Характеристики Foundations for Programming Languages Автор: Дж. Митчелл Переводчики: П. Айткулов, Д. Котегов Редактор: Николай Непейвода Язык: Русский Издательство: НИЦ "Регулярная и хаотическая динамика" ISBN: 978-5-93972-757-0; 2010 г. Страниц:720 стр. Формат: 70x100/16 (167x236 мм) Переплет: Твердый переплет Спойлер: Описание издательства Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике. Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.
Похожие складчины Открыто - Теоретические основы разработки и реализации языков программирования (178 стр.) 2012 Открыто - Программирование и алгоритмизация (304 стр.) 2010 Доступно - Теория и практика языков программирования. 2-е издание. Сергей Орлов Доступно - Информатика. Разработка программ на языке программирования Питон. Часть 1. Базовые языковые конструкции [А.И. Широков, М.О. Пышняк] Доступно - Самый полный англо-русский русско-английский словарь для школьников [В. Державина] + Английский язык в схемах и таблицах [Е. Карпенко]
книга очень специфическая, для очень узкой категории программистов, мне кажется, что перенос сбора не решит проблему. Тут много людей не собирем, лично я в переносе смысла не вижу.