Subiecte avansate în tipuri și limbi de programare

Sursă Originală: http://www.cis.upenn.edu/~bcpierce/attapl/main.html

Editat de Benjamin C. Pierce
Mass-media de
presă MIT
Massachusetts Institute of Technology
Cambridge, Massachusetts 02142
http://mitpress.mit.edu
ISBN 0-262-16228-8

Coperta fotografiei din Secretele seriei ENIAC de Benjamin C. Pierce.


Studiul sistemelor de tip pentru limbaje de programare atinge acum multe domenii ale științei informaticii, de la proiectarea și implementarea limbajului până la ingineria software, securitatea rețelelor, bazele de date și analiza sistemelor concurente și distribuite. Această carte oferă introduceri accesibile ideilor cheie din domeniu, cu contribuții ale experților pe fiecare subiect.

Subiectele abordate includ analize precise de tip, care extind sistemele de tip simplu pentru a le oferi o mai bună apreciere asupra comportamentului timpului de funcționare al sistemelor; sisteme de tip pentru limbi de nivel scăzut; aplicații de tip la raționamentul privind programele de calculator; teoria tipului ca cadru pentru proiectarea sistemelor sofisticate de module; și tehnici avansate în inferența de tip ML.

Temele avansate în tipuri și limbi de programare se bazează pe tipurile și limbile de programare ale lui Benjamin Pierce (MIT Press, 2002); majoritatea capitolelor ar trebui să fie accesibile cititorilor familiarizați cu notațiile de bază și tehnicile de semantică operațională și sisteme de tip – materialul acoperit în prima jumătate a cărții anterioare.

Temele avansate în tipuri și limbi de programare pot fi folosite în sala de clasă și ca resursă pentru profesioniști. Cele mai multe capitole includ exerciții, variind în dificultate, de la verificări rapide de înțelegere până la extensii provocatoare, multe cu soluții.

Lista completă și prefața sunt disponibile aici .

Benjamin C. Pierce este profesor de informatică și informatică de la Universitatea din Pennsylvania.