С термином "семантика языков программирования" случился конфуз: так стали называть применение математических методов к описанию/заданию работы программы. В результате человек, который полезет в эти дебри чтобы изучить точный смысл конструкций языка программирования (ЯП) останавливается в недоумении: неужели я должен изучить всю эту "математику" чтобы понять как работает программа? Например, на PL/I или Алгол 68.
Очевидно, что для Алгол 68 можно обойтись без W-грамматик, а для PL/I без VDM.
Как? - Показывается на примере ЯП Turingol.
Semantics of programming languages
The term "semantics of programming languages" suffered embarrassment: it became an application of mathematical methods to the description/definition of program execution. As a result, people who get into this maze to explore the exact meaning of the programming language constructs (PL) stops at a loss: do I have to learn all this "math" to understand how the program works? For example, on PL/I or Algol 68. Obviously, for Algol 68 we can dispense without W-grammars, and for PL/I without VDM. How? - It's shown for Turingol PL as an example.
На НИР и ОКР