Pokročilé směry ve typů a programovací jazyky

03 Jul 2:55 pm


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

MIT Press

Klikněte zde na objednávku
přímo z Amazon


Massachusetts Institute of Technology
Cambridge, Massachusetts 02142
http://mitpress.mit.edu
ISBN 0-262-16228-8

Kryt fotografie z tajemství ENIAC série Benjamin C. Pierce.

Studie typových systémů pro programovací jazyky se dotýká mnoha oblastí informatiky, jazyků počínaje návrhem a implementací do softwarového inženýrství, zabezpečení sítí, databází a analýzu paralelních a distribuovaných systémů. Tato kniha nabízí úvody, které jsou přístupné na klíčové myšlenky v této oblasti, s příspěvky odborníků na každé téma.

Mezi Témata zahrnují konkrétní typ analýzy, která rozšiřuje jednoduchý typ systémů a dát jim lepší přilnavost na chování běhu systémů, typ systémy pro low-level jazyků; aplikací typů k uvažování o počítačových programech, typ teorii jako rámec prokonstrukce náročných modulových systémů a pokročilých technik v ml-style type inference.

Pokročilé směry ve typů a programovacích jazyků navazuje na typy Benjamin Pierce a programovacích jazyků (MIT Press, 2002), většina z kapitol by měla být přístupná pro čtenáře seznámí se základními zápisy a technik operační sémantiky a systémů typu – materiál, na které se vztahuje první polovinu předchozí knihy.

Pokročilé směry ve typů a programovacích jazyků mohou být použity ve třídě a jako zdroj pro profesionály. Většina kapitol je cvičení, v rozmezí obtížnosti od rychlé porozumění kontrol až po náročné rozšíření, z nichž mnohé řešení.

Kompletní obsah a předmluvu k dispozici zde.

Benjamin C. Pierce Profesor informatiky a informačních věd na University of Pennsylvania.

Comments are closed