8 января 2010 г. 2:39 пользователь <mskhug+...@googlegroups.com> написал:
> Сводка по сегодняшним темам
>
> Группа: http://groups.google.com/group/mskhug/topics
>
> [mskhug:0] Сводка для группы msk...@googlegroups.com - Сообщений: 1 в Тем: 1
> [2 Обновления]
>
> Тема: [mskhug:0] Сводка для группы msk...@googlegroups.com - Сообщений: 1 в
> Тем: 1
>
> Serguey Zefirov <serg...@gmail.com> Jan 07 02:48AM +0200 ^
>
> А где можно посмотреть на примеры суперкомпиляции императивных языков
> программирования?
>
>
>
>
> Sergei Romanenko <sergei.r...@gmail.com> Jan 07 04:12AM -0800 ^
>
>
>> А где можно посмотреть на примеры суперкомпиляции императивных языков
>> программирования?
>
> Есть суперкомпилятор JScp для Явы. Он, правда, не очень могуч, но кое-
> что делать всё же умеет. Например, использовался для верификации
> протоколов "кеш-когерентности". Информацию можно найти здесь:
>
> http://groups.google.ru/group/metacomputation-ru/msg/f30e1b1ddc4dd913
>
> Проект JVer: Верификация программ на языке Java c помощью
> суперкомпилятора JScp
> http://pat.keldysh.ru/jver/
>
> Там есть примеры программ, моделирующих поведение протоколов, и
> результатов суперкомпиляции этих программ.
>
> Сергей Романенко
>
>
>
> --
> Данное сообщение отправлено Вам, так как Вы являетесь подписчиком группы
> "MskHUG" на группах Google.
> Для того, чтобы отправить сообщение в эту группу, пошлите его по адресу
> msk...@googlegroups.com
> Чтобы отменить подписку на эту группу, отправьте сообщение по адресу:
> mskhug-un...@googlegroups.com
>