Interaktívny vývoj jazykov založený na vzoroch

Cieľom projektu je preskúmanie nových prístupov k návrhu a implementácii formalných jazykov. Tieto prístupy budú založené na syntéze metód z oblasti formálnych jazykov, interakcie človeka s počítačom a analýzy dát.
Proces návrhu a implementácie jazyka má byť interaktívnou a exploratívnou aktivitou, pri ktorej návrhár jazyka má možnosť experimentovať s návrhom zápisu jazyka a súvisiacich nástrojov a okamžite upravovať definíciu jazyka na základe výsledkov experimentov. Pre dosiahnutie tohto cieľa je nevyhnutné navrhnúť nové metódy pre automatické odvodenie špecifikácie jazyka na základe jeho abstraktnej syntaxe, príkladov viet a interakcie s návrhárom jazyka.

Kategória projektu: 
Vedeckovýskumné projekty
Program: 
VEGA
Identifikačné číslo: 
1/0762/19
Doba riešenia projektu: 
1. január 2019 do 11. december 2021