Semantic model of a programming language similar of semantics to the Oberon-7 programming language. The initial using this model is assumed for realization a compiler of Oberon-7. Various experiments are planned in the future, including the procedural-parametric polymorphism implementation.
The semantic model is separated into the independent subproject. This will allow to create a number of stand-alone solutions, including generating code from this representation. We are goint to use this model in various independent compiler projects.
Семантическая модель языка программирования, аналогичного по семантике языку программирования Оберон-7. Предполагает ее первоначальное использование для реализации компилятора с Оберона-7 в заданное промежуточное представление. В последующем на основе этой модели планируются различные эксперименты, включая реализацию процедурно-параметрического полиморфизма.
Семаническая модель выделена в отдельный подпроект для отработки ряда автономных решений, включая генерацию кода с этого представления. Это позволит более гибко использовать ее в различных независимых друг от друга проектов компиляторов