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