Vvedenie v teoriyu yazykov programmirovaniya (eBook, PDF)
PAYBACK Punkte
0 °P sammeln!
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 demonstriruyuts...
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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Andere Kunden interessierten sich für
