YAzyki programmirovaniya. Kontseptsii i printsipy (PDF)

Rassmotreny fundamentalnye kontseptsii i printsipy, voploschennye v sovremennyh i perspektivnyh yazykah programmirovaniya. Predstavleny raznye stili programmirovaniya (operatsionnyy, situatsionnyy, funktsionalnyy, relyatsionnyy, parallelnyy, obektno-orientirovannyy). Bazovye kontseptsii i printsipy rassmotreny s pyati razlichnyh pozitsiy (tehnologicheskoy, avtorskoy, matematicheskoy, semioticheskoy i realizatorskoy) i proillyustrirovany primerami iz takih yazykov, kak Paskal, Simula-67, Smoltok, Refal, Ada, Modula-2, Oberon, Okkam-2, Turbo Paskal, S++ i dr.
Slozhnost vydelena kak osnovopolagayuschaya problema programmirovaniya, a abstraktsiya-konkretizatsiya i prognozirovanie-kontrol - kak osnovnye ortogonalnye metody borby so slozhnostyu. Na etoy obschey baze v knige vpervye predstavlena tselnaya sistema kontseptsiy i printsipov, sozdayuschaya chetkie orientiry v oblasti yazykov programmirovaniya. Na osnove etoy sistemy sformulirovany originalnye polozheniya, ukazyvayuschie perspektivy razvitiya v etoy oblasti (moduli isklyuchitelnyh situatsiy, moduli upravleniya predstavleniem, vhodovye tipy i dr.). Mnogie iz nih v poslednie gody stali realnostyu.
Novye podhody primeneny pri izlozhenii izvestnyh faktov (poshagovaya modifikatsiya normalnyh algoritmov Markova snachala do Refala, a zatem do relyatsionnyh yazykov, sopostavlenie printsipov «sunduka» i «chemodanchika» pri sozdanii Ady, Moduly-2 i Oberona, razvitie kontseptsii nasleduemosti ot modulnosti do obektnoy orientatsii, sistematicheskoe sopostavlenie kontseptsii parallelizma v Ade i Okkame-2, i dr.).
Dlya vseh, serezno interesuyuschihsya programmirovaniem, v tom chisle nauchnyh rabotnikov, programmistov, prepodavateley i studentov.