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

[serj_aleks]

Расширим представление о семантике языка программирования (или формальной теории) хотя и предварительным, но более конкретным определением этого понятия. Семантикой будем называть интерпретацию (или, иначе, смысловое значение) абстрактного синтаксиса (а точнее, множества допустимых видов конструкций языка), представленное в терминах той или иной

Comments

[serj_aleks]

Теория вычислений Д. Скотта была создана до появления большинства современных языков программирования, а именно в конце 60-х годов. Существенно, что именно эта теория (в отличие от, скажем, классической логики и ряда других формальных систем) позволяет произвести адекватную (а именно, полную и непротиворечивую) формализацию семантики языков программирования. Теория вычислений Д. Скотта основана на фундаментальном понятии домена, который будем пока неформально понимать как некоторый аналог множества, адекватно формализующий рекурсивно (т.е. на основе самоприменения) определенные функции и множества (в отличие от традиционных множеств

[serj_aleks]

«Проектирование компиляторов и интерпретаторов
http://lfkai.ru/sveden/files/A_B1.V.DV.04.02_Proektirovanie_kompilyatorov_i_interpretatorov.pdf
ОСНОВЫ СИНТАКСИСА, СЕМАНТИКИ, ТРАНСЛЯЦИИ И ВЕРИФИКАЦИИ ПРОГРАММ
https://persons.iis.nsk.su/files/persons/pages/LangProc.pdf

[serj_aleks]

К концепции МАКРОПРОПОЗИЦИИ и семантике коммуникаций

https://ru.wikipedia.org/wiki/Ван_Дейк,_Тён
Эпизодическая ситуационная модель дискурса интервью
http://www.rusnauka.com/12_DN_2015/Philologia/7_191390.doc.htm
ПРОБЛЕМЫ КОГНИТИВНОГО АНАЛИЗА ДИСКУРСА В СОВРЕМЕННОЙ ЛИНГВИСТИКЕ
http://elibrary.lt/resursai/Uzsienio%20leidiniai/Voronezh/hum/2001-02/hum0102_12.pdf
НЕКОТОРЫЕ ПОНЯТИЯ ДИСКУРСА В МОДЕЛЯХ ПОНИМАНИЯ ТЕКСТА
https://publikacia.net/archive/2017/6/2/17
Смыслообразующая роль диктемыСтруктурно-семантические, лингвопрагматические и референциальные характеристики эксплицитных макроструктур дискурса

[serj_aleks]

Семантические цифровые системы
https://habr.com/ru/post/503404

[deep_econom]

Могу ошибаться.
---
Видимо надо вводить более подробную классификацию и/или уточнение понятия семантика.

1. семантика как процесс
2. семантика как описание процесса
3. семантика как результат процесса (значение)

Может еще что-то надо добавить.

1. семантика как процесс
В проц попала команда, проц ее исполнил. Например, изменил регистр.
Было осуществлено физическое действие, был произведен физ.процесс.

2. семантика как описание процесса
это семантическая функция/отображение абстрактного символа на другой абстрактный символ
f(x)=y, f:x->y, f:A->B

3. семантика как результат процесса (значение)

символ/объект "y" есть семантика символа "x"
Множество B это множество объектов для формальных абстрактных символов из A.
т.е. символы из A обозначают символы/объекты/процессы из B,
т.е. символы из A являются названиями/именами/представителями символов/объектов/процессов из B.
---

[serj_aleks]

Ваш "ход мысли" понятен. Различать на метауровне процесс и объект (результат процесса) и их описание, обозначение, сигнатуру. С этих позиций, тогда можно выделить и обозначение результата процесса, дескрипцию объекта

[deep_econom]

Я вот тут накидал по мотивам вашего поста.

К вопросу о семантике https://deep-econom.livejournal.com/803395.html

[deep_econom]

***Интересно наблюдать как из лучших побуждений упростить, прояснить, люди усложняют.

По этому поводу мне сразу вспомнилась сайт Антисложность )) Чурилова
https://anticomplexity.org/arhitektura-teorii-i-napravleniya-razrabotok-dlya-upravlyaemoj-epistemologii/

Мне кажется чел много наусложнял, могу быть не прав.