На этой странице можно скачать этот файл совершенно бесплатно и без регистрации и без отправки смс, а также без различного рода ограничений.
Скачивайте и учитесь, надеемся, наш сайт помог вам "погрызть гранит науки"
Питтс Э.М. Семантика языков программирования
Компьютерная лаборатория Кембриджского университета, 1997-2000. 30 с.
Материалы 12 лекций для IB-части экзамена по информатике предназначены для изучения семантики языков программирования. Целью курса является внедрение структуры, использующей операторный подход к программированию языка семантики. Он показывает, как используется формализм для определения значения конструирования некоторого простого языка программирования и формального рассуждения о семантических свойствах программ.