Розширені теми з типів програмування та мов; EWSTПерекласти

За редакцією Бенджаміна С. Пірса
ЗМІ про
MIT прес
Массачусетський технологічний інститут
Кембридж, штат Массачусетс 02142
http://mitpress.mit.edu
ISBN 0-262-16228-8

розширені

Обкладинка фотографії з таємниці серії ENIAC Бенджаміна С. Пірса.

Вивчення систем типу для мов програмування нині охоплює багато областей інформатики, від проектування та впровадження мови до програмної інженерії, мережевої безпеки, баз даних та аналізу конкуруючих та розподілених систем. Ця книга пропонує доступні ознайомлення з ключовими ідеями в цій галузі, а також експертну інформацію щодо кожної теми.

Висвітлювані теми включають точний аналіз типу, який розширює прості системи типів, щоб дати їм кращу оцінку поведінки систем у часі; системи типу для мов низького рівня; вводити додатки до міркувань комп'ютерного програмного забезпечення; теорія типу як основа для проектування складних модульних систем; та передові методи виведення типу ML.

Розширені теми у типах та мовах програмування базуються на типах та мовах програмування Бенджаміна Пірса (MIT Press, 2002); більшість глав повинні бути доступними для читачів, знайомих з основними позначеннями та прийомами оперативної семантики та систем типів - матеріалом, висвітленим у першій половині попередньої книги.

Розширені теми з типів програмування та мов можуть бути використані в класі та як ресурс для професіоналів. Більшість розділів включають вправи, починаючи від складності, від швидких перевірок розуміння до складних розширень, багато з яких мають рішення.

Повний список та передмова доступні тут .

Бенджамін С. Пірс - професор інформатики та інформатики в Університеті Пенсільванії.