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