Напредни теми во програмските типови и јазици; EWSTпреведи
Изменето од Бенџамин Ц. Пирс
Масовни медиуми на
Прес на МИТ
Институт за технологија во Масачусетс
Кембриџ, Масачусетс 02142
http://mitpress.mit.edu
ISBN 0-262-16228-8
Корица на фотографијата од тајните на сериите ENIAC од Бенџамин Ц. Пирс.
Студијата на типови системи за програмски јазици сега опфаќа многу области од компјутерската наука, од дизајнирање и имплементација на јазици до софтверско инженерство, мрежна безбедност, бази на податоци и анализа на конкурентни и дистрибуирани системи. Оваа книга обезбедува достапни воведи за клучните идеи од областа, со стручен придонес за секоја тема.
Опфатените теми вклучуваат прецизни анализи на типот, кои ги прошируваат системите со едноставен тип за да им дадат подобра проценка на однесувањето на времето на системите; тип системи за јазици на ниско ниво; напишете апликации до расудување на компјутерски софтвер; теорија на типот како рамка за дизајнирање на софистицирани системи на модули; и напредни техники во заклучок од типот МЛ.
Напредните теми во програмските типови и јазици се засноваат на видовите и програмските јазици на Бенјамин Пирс (МИТ Прес, 2002); повеќето поглавја треба да бидат достапни за читателите запознаени со основните нотации и техники на оперативна семантика и типови системи - материјалот опфатен во првата половина на претходната книга.
Напредните теми во програмските типови и јазици можат да се користат во училницата и како ресурс за професионалци. Повеќето поглавја вклучуваат вежби, кои се движат во тешкотии, од брзи проверки на разбирање до предизвикувачки наставки, многу од нив имаат решенија.
Целосниот список и предговорот се достапни тука .
Бенџамин Ц. Пирс е професор по компјутерски науки и компјутерски науки на Универзитетот во Пенсилванија.