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

[san-smith]

Здравствуйте, уважаемые форумчане.

Я сейчас являюсь магистрантом 1 курса, но, как говорится, уже "навострил лыжи" в науку. Собственно, хочется выбрать такую тему магистерской, чтобы из неё можно было потом "вырастить" настоящую диссертацию.
И так как в последнее время меня заинтересовала тема языков программирования и компиляторов (даже есть шуточная проба пера - подробнее на Хабре - "Как я создавал убийцу HTML"), то возник вопрос: может ли создание языка программирования и компилятора/интерпретатора являться темой для кандидатской диссертации?
Есть ли примеры подобных работ?

Заранее спасибо.

[avz]

Может.
05.13.11, защита в Воронеже )
но надо очень аккуратно сформулировать новизну. Это Вам понадобится через 6 лет )

[san-smith]

Спасибо за ответ.

Это Вам понадобится через 6 лет )

На самом деле возможно и раньше - диплом специалиста у меня уже есть, хотелось бы сократить этот срок.

А не подскажете где можно посмотреть диссертации по этому направлению? Или хотя бы научные статьи.

[kravets]

Сообщение от san-smith

А не подскажете где можно посмотреть диссертации по этому направлению? Или хотя бы научные статьи.

Авторефераты поищите на сайте ВАК в объявлениях о защите. Продумайте несколько вариантов поисковых предписаний. Например, "компилятор" порождает следующую куцую выдачу:
16.10.2012
Алымова Елена Владимировна
Генерация наборов тестов для распараллеливающих и оптимизирующих преобразований в компиляторе
14.06.2013
Жаркая Варвара Юрьевна
СПЕЦИФИКА РАБОТЫ С ИСТОЧНИКАМИ ВО "ВСЕМИРНОЙ ХРОНИКЕ" МИХАИЛА ГЛИКИ: ТВОРЧЕСТВО КОМПИЛЯТОРА
17.12.2013
Рыбаков Алексей Анатольевич
Методы и алгоритмы оптимизации переходов в компиляторе базового уровня системы двоичной трансляции для архитектуры «Эльбрус»

"транслятор"
20.12.2013
Собольников Сергей Александрович
Модели и алгоритмы планирования движений автономных мобильных роботов-ретрансляторов для обеспечения работы подвижной коммуникационной сети
25.02.2014
Пыхов Юрий Александрович
Организация наведения на спутник-ретранслятор в железнодорожном комплексе связи на основе траекторной фильтрации измерений антенного датчика
25.03.2016
Бовкун Александр Викторович
Постпроцессор транслятора языка программирования высокого уровня для реконфигурируемых вычислительных систем

[san-smith]

Посмотрел я авторефераты на сайте ВАК и понял, что собственно задачи разработки языка/компилятора никто не ставит - или вопросы оптимизации перевода, или распараллеливание, или программирование СБИС.
Это связано с тем, что тема разработки языка слишком сложна или потому что сама по себе она не интересна? Я правильно понимаю, что более актуально нечто в стиле "Разработка языка X для решения задачи Y"?

[mitek1989]

san-smith, я думаю, что да. Ведь диссертация должна иметь не только научную новизну, но и практическую значимость

[kravets]

Сообщение от san-smith

тема разработки языка слишком сложна

именно так

Сообщение от san-smith

более актуально нечто в стиле "Разработка языка X для решения задачи Y"

верно, только "для решения класса задач Y"

[san-smith]

Спасибо за ответы.
А насколько широким должен быть класс задач Y? Можете привести пример?

Скажем, существуют пакеты для моделирования передачи тепла. Если разработать язык, который позволит делать это нативно,
то это может стать основой диссертации? Или нужно что-то более "кучерявое"?

[kravets]

Сообщение от san-smith

Скажем, существуют пакеты для моделирования передачи тепла. Если разработать язык, который позволит делать это нативно,
то это может стать основой диссертации?

Маловероятно. На всякий случай присоединил паспорт специальности, читайте его. только не трактуйте в расширительном смысле, это вредно.

[san-smith]

Хорошо, зайду с другого бока.

Области исследований:
...
2. Языки программирования и системы программирования, семантика
программ.

Если я правильно понял этот пункт, то, скажем, разработка ещё одного языка программирования общего назначения может являться научной проблемой. Но как обосновать актуальность такой работы, если этих языков уже N штук? Язык должен поддерживать принципиально новую парадигму? Ведь недостаточно же просто натянуть новый синтаксис на старые грабли?