Haladó témák a programozási típusokban és nyelvekben; EWSTranslate
Szerk .: Benjamin C. Pierce
Média
MIT sajtó
Massachusetts Institute of Technology
Cambridge, Massachusetts 02142
http://mitpress.mit.edu
ISBN 0-262-16228-8
Benjamin C. Pierce, az ENIAC titkai sorozat fotójának borítója.
A programozási nyelvek típusrendszereinek vizsgálata ma már a számítástechnika számos területére kiterjed, a nyelvtervezéstől és megvalósítástól kezdve a szoftvertervezésig, a hálózatbiztonságig, az adatbázisokig, valamint a versengő és elosztott rendszerek elemzéséig. Ez a könyv hozzáférhető bevezetéseket nyújt a szakterület legfontosabb ötleteihez, szakértői véleményekkel az egyes témákhoz.
A tárgyalt témák között szerepelnek a pontos típusú elemzések, amelyek kiterjesztik az egyszerű típusú rendszereket, hogy jobban értékeljék a rendszerek időbeli viselkedését; típusú rendszerek alacsony szintű nyelvekhez; írja be az alkalmazásokat a számítógépes szoftverek érvelésére; a típuselmélet mint a kifinomult modulrendszerek tervezésének kerete; és fejlett technikák az ML típusú következtetésekben.
A programozási típusok és nyelvek fejlett témái Benjamin Pierce típusain és programozási nyelvein alapulnak (MIT Press, 2002); a legtöbb fejezetnek hozzáférhetőnek kell lennie az operatív szemantika és a típustechnikai rendszerek alapvető leírásainak és technikáinak ismerőinek - az előző könyv első felében tárgyalt anyagnak.
A programozási típusok és nyelvek haladó témái felhasználhatók az osztályteremben és a szakemberek erőforrásaként. A legtöbb fejezet nehézségekkel járó gyakorlatokat tartalmaz, a gyors megértés ellenőrzésétől a kihívást jelentő kiterjesztésekig, sok megoldással.
A teljes lista és az előszó itt érhető el .
Benjamin C. Pierce a Pennsylvaniai Egyetem informatika és informatika professzora.