Результаты

1. Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений

   Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

2. Relational Solver for Java Generics Type System

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

3. Relational Synthesis for Pattern Matching

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Просмотреть все (5) »