--
Отправить сообщение в SPb HUG: spb...@googlegroups.com
Отменить подписку: spbhug-un...@googlegroups.com
Страница группы: http://groups.google.com/group/spbhug?hl=ru
---
Вы получили это сообщение, поскольку подписаны на одну из тем в группе "SPb Haskell User Group".
Чтобы отменить подписку на эту тему, перейдите по ссылке https://groups.google.com/d/topic/spbhug/M33JwYfmeJg/unsubscribe.
Чтобы отменить подписку на эту группу и все ее темы, отправьте письмо на электронный адрес spbhug+un...@googlegroups.com.
Чтобы настроить другие параметры, перейдите по ссылке https://groups.google.com/d/optout.
Привет всем!
Проект bitFunctor. Распределенная система хранения специфицированных элементов функционального кода Андрей Ляшин
В докладе рассказывается о проекте, ставящего своей целью создание распределенной программной среды, позволяющей хранить и осуществлять поиск элементов фунционального кода (функций и типов), их строгих спецификаций и доказательств соответствия кода спецификации в рамках среды Coq. Описываются возможные подходы к созданию подобной системы, выносятся на обсуждение ряд потенциальных проблем, могущих возникнуть при ее эксплуaтации. Дается обзор текущей стадии разработки. Доклад нацелен в большей степени на профессиональную дискуссию.