Vvedenie v teoriyu yazykov programmirovaniya

YAzyki programmirovaniya ot Fortrana i Kobola do Caml i Java igrayut klyuchevuyu rol v upravlenii slozhnymi kompyuternymi sistemami. Kniga «Vvedenie v teoriyu yazykov programmirovaniya» predstavlyaet chitatelyu sredstva, neobhodimye dlya proektirovaniya i realizatsii podobnyh yazykov. V ney predlagaetsya edinyy podhod k razlichnym formalizmam dlya opredeleniya yazykov programmirovaniya - operatsionnoy i denotatsionnoy semantike. Osoboe vnimanie pri etom udelyaetsya sposobam zadaniya otnosheniy mezhdu tremya obektami: programmoy, vhodnym znacheniem i rezultatom. Eti formalizmy demonstriruyutsya na primere takih tipichnyh elementov yazykov programmirovaniya, kak funktsii, rekursiya, prisvaivanie, zapisi i obekty. Pri etom pokazyvaetsya, chto teoriya yazykov programmirovaniya sostoit ne v posledovatelnom izuchenii samih yazykov odin za drugim, a stroitsya vokrug mehanizmov, vhodyaschih v razlichnye yazyki. Izuchenie takih mehanizmov v knige privodit k razrabotke vychisliteley, interpretatorov i kompilyatorov, a takzhe k realizatsii algoritmov vyvoda tipov dlya uchebnyh yazykov.