[licm] [план]

[Vladislav Ivanishin]

Добрый вечер,

Vishnyakov Alexey <pmvishnya at gmail.com> writes:

> Примерное распределение по пунктам:
>
> 1. Лена
> 2. Никита Мисра + Я
> 3. Даня
> 4. Никита Малышев + Я
>
> From: Vishnyakov Alexey
> Sent: Monday, March 19, 21:54
> Subject: [план]
> To: licm at compilers.ispras.ru
>
> Перемещение кода, инвариантного относительно цикла (licm)

Ниже, как я понимаю, пункты *.1 выполняются на первой неделе, *.2 -- на
второй, и так далее. 

> 1. Сформулировать условие задачи
>   1.1. Написать текст условия

Если написать в общих чертах (а-ля "реализуйте licm"), то ок. Но до
выполнения пункта 4.1 написать финальную версию условия не получится,
поскольку нужно специфицировать задачу достаточно чётко для того, чтобы
можно её было автоматически проверять.

>   1.2. На основе авторского решения привести заготовку решения
>   1.3. На основе тестов привести примеры входов и выходов
> 2. Разработать набор тестов
>   2.1. Разработать набор входов для задачи
>   2.2. Запустить авторское решение на входах и проверить корректность выходов
>        авторского решения, таким образом, будут получены выходы
> 3. Написать чекер для еджуджа
>   3.1. Изучить, что из себя представляет чекер еджуджа
>   3.2. Написать чекер (тесты взять из пункта 2)
> 4. Написать авторское решение
>   4.1. Изучить алгоритм licm
>   4.2. Написать решение на c++

В целом план хорош, хотя возможно, несколько оптимистичен. Основная
точка синхронизации -- понимание спецификации задачи, которую вы ставите
студентам (и сами же решаете). Это понимание нужно в пунктах 1, 2, 3 и
4, т.е. оно должно быть у всех. Хотелось бы видеть этот консенсус в
рассылке.

Я бы хотел увидеть первый промежуточный отчёт (status report) через одну
или две недели.

-- 
Влад