семантика языка программирования. Справочник технического переводчика. Интент.

	семантика языка программирования Изучает смысловое значение конструкций языков программирования. Формализацией семантики языка программирования называется процесс отображения его конструкций на некоторую смысловую область, элементы которой определяют значение высказываний языка. Наиболее широкое распространение получили следующие смысловые области: абстракция вычислительной машины, математические функции и математическая логика. Соответственно были сформированы следующие виды семантик: операционная семантика, денотационная семантика и аксиоматическая семантика (см. также formal semantics, programming language). [Э.М. Пройдаков, Л.А. Теплицкий]
EN
FR

семантика языка программирования