Разширени теми в типове програмиране и езици; EWST Превод
Редактиран от Бенджамин С. Пиърс
Средства за масова информация на
MIT натиснете
Масачузетски институт по технологии
Кеймбридж, Масачузетс 02142
http://mitpress.mit.edu
ISBN 0-262-16228-8
Корица на снимката от Тайните на поредицата ENIAC от Бенджамин С. Пиърс.
Изучаването на типови системи за езици за програмиране сега обхваща много области на компютърните науки, от проектиране и внедряване на езици до софтуерно инженерство, мрежова сигурност, бази данни и анализ на конкурентни и разпределени системи. Тази книга предоставя достъпни въведения за ключови идеи в тази област, с експертен принос по всяка тема.
Обхванатите теми включват прецизен анализ на типа, който разширява прости системи от типа, за да им даде по-добра оценка на поведението на системите във времето; типови системи за езици на ниско ниво; напишете приложения към разсъждения за компютърен софтуер; теория на типа като рамка за проектиране на сложни модулни системи; и усъвършенствани техники в извод от тип ML.
Разширените теми в типовете и езиците на програмиране се основават на типовете и езиците за програмиране на Бенджамин Пиърс (MIT Press, 2002); повечето глави трябва да бъдат достъпни за читатели, запознати с основните обозначения и техники на оперативната семантика и типови системи - материалът, обхванат в първата половина на предишната книга.
Разширени теми по типове програмиране и езици могат да се използват в класната стая и като ресурс за професионалисти. Повечето глави включват упражнения, вариращи по трудност, от бързи проверки на разбирането до предизвикателни разширения, много с решения.
Пълният списък и предговора са достъпни тук .
Бенджамин С. Пиърс е професор по компютърни науки и компютърни науки в университета в Пенсилвания.