В 2008-2013 гг. в Институте систем информатики им. А.П. Ершова развивался сначала проект по исследованию и классификации парадигм языков программирования, а затем – по разработке классификации компьютерных языков, виртуальный мир которых включает тысячи языков программирования, спецификаций, моделирования и множество других языков, которые можно отнести к (пользуясь терминологией, сложившейся в биологии)...
языки программирования,
языки разметки,
языки запросов,
компьютерные языки в целом,
классификация,
атрибуты,
парадигма,
портал знаний,
навигация по классификации,
логика Белнапа,
дескрипционная логика,
темпоральная логика,
логика со временем,
верификация моделей