Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации...
Jazyki programmirovanija ot Fortrana i Kobola do Caml i Java igrajut kljuchevuju rol v upravlenii slozhnymi kompjuternymi sistemami. Kniga "Vvedenie v teoriju jazykov programmirovanija" predstavljaet chitatelju sredstva, neobkhodimye dlja proektirovanija i realizatsii podobnykh jazykov. V nej predlagaetsja edinyj podkhod k razlichnym formalizmam dlja opredelenija jazykov programmirovanija - operatsionnoj i denotatsionnoj semantike. Osoboe vnimanie pri etom udeljaetsja sposobam zadanija otnoshenij mezhdu tremja obektami: programmoj, vkhodnym znacheniem i rezultatom. Eti formalizmy demonstrirujutsja na primere takikh tipichnykh elementov jazykov programmirovanija, kak funktsii, rekursija, prisvaivanie, zapisi i obekty. Pri etom pokazyvaetsja, chto teorija jazykov programmirovanija sostoit ne v posledovatelnom izuchenii samikh jazykov odin za drugim, a stroitsja vokrug mekhanizmov, vkhodjaschikh v razlichnye jazyki. Izuchenie takikh mekhanizmov v knige privodit k razrabotke vychislitelej, interpretatorov i kompiljatorov, a takzhe k realizatsii...
