[Технический Семинар № 4 КМТТ МФТИ] Статический анализ кода через КС-достижимость

Рассказали со студентом о наших успехах и неуспехах в построении анализаторов промежуточных представлений на основе решения задачи контекстно-свободной достижимости

0 комментариев