Лаборатория языковых инструментов

Cypher’s Mechanization

Формализация языка запроса графов Cypher в Coq.

Задача проекта — формализовать язык запросов по графам Cypher в Coq Proof Assistant. Цель формализации — создать твердое основание для дальнейшего развития языка, а также предложить фреймворк для проверки оптимизаций запросов.

Участники

Антон Подкопаев