Питтс Э.М. Семантика языков программирования

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