pearls (new Scp4 examples)

Subject: pearls (new Scp4 examples)
From: korlyukov (korlyukov@grsu.grodno.by)
Date: Sun May 06 2001 - 07:47:25 MSD

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: korlyukov: "pearls (new Scp4 examples)"
• Previous message: Sergei M. Abramov (at home): "Funny story: China Journal / Was: [Re: A ref to "CRA-theorem" ]"
• Next in thread: korlyukov: "pearls (new Scp4 examples)"

          Объявление

     По адресу

http://www.refal.net/~korlukov/pearls/
размещены новые примеры для суперкомпилятора рефала:

1. Гуси.

2. Фибоначчи.

3. Шифр-70.

4. Агент 007

   В ближайшее время будут подготовлены еще два примера -

5. Рекурсивные числа, в котором время суперкомпиляции оказывается меньше времени исполнения исходной программы.

6. Миссионеры и каннибалы, в котором суперкомпилятором доказываются математические утверждения.

     Александр

• Next message: korlyukov: "pearls (new Scp4 examples)"
• Previous message: Sergei M. Abramov (at home): "Funny story: China Journal / Was: [Re: A ref to "CRA-theorem" ]"
• Next in thread: korlyukov: "pearls (new Scp4 examples)"

This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:58 MSD