r2 - 28 Mar 2005 - 13:40:13 - TWiki ContributorYou are here: TWiki >  Refaldevel Web > WebChanges

50 Recent Changes in TWiki Web retrieved at 03:58 (Local)

Statistics for Refaldevel Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...
Добро пожаловать на сайт, посвящённый развитию языка Рефал! Цель нашего проекта создание удобного, надёжного и переносимого окружения для программирования на диалектах ...
Рефал программа, скомпилированная в С , собирается без ошибок, но не работает. Почему? Если программа падает с сообщением Segmentation fault (под Linux) или вообще ...
C Backend Microsoft Visual C Эта страница рассказывает о том, как настроить компиляцию рефал программ в С и дальше в исполняемые файлы с помощью Microsoft Visual ...
refal r2282 MinGW.zip: Компилятор Рефала С бэкенд MinGW самодостаточный архив для работы в Windows refal r2412 src.zip: Snapshot of the whole project from ...
Refal Plus plugin for Eclipse #8212; installation manual Prerequisites 1. Java runtime version 5.0 or above. 1. http://www.eclipse.org/ Eclipse version ...
TWiki.Refaldevel Web Preferences The following settings are web preferences of the TWiki.Refaldevel web. These preferences overwrite the site level preferences ...
Лента новостей 23 Dec 2008 дел по Рефалу на 23 декабря 2008 сайт презентация к семинару в ИПМ. 28 Nov 2008 EclipseDemoCamp2008 11 Jul 2008 Материалы занятий ...
Eclipse Demo Camp November 2008 Pereslavl Zalessky Презентация (PDF, 5.9M): EclipseDemo 08 1.pdf Презентация через google docs:
Welcome to the Refal development collaboration web! Our goal is to make decent portable environment for programming in existing Refal dialects and experimenting with ...
Refal Plus Development Tools (Eclipse based Refal Plus IDE) Installation of Eclipse based Refal Plus IDE is described here: EclipsePluginInstallationEn. The following ...
Refal Plus plugin for Eclipse инструкция по установке Необходимые компоненты 1. Ява рантайм версии 5.0 или выше. 1. http://www.eclipse.org/ Eclipse ...
AntonOrlov 13 Sep 2008
YuriKlimov and AntonOrlov participated in the annual ICFP Programming Contest as team "Error 404". There were interesting attempts to use Refal in some nontrivial ...
Занятия по Рефалу на летней школе в УГП, 2008 Примеры программ на Рефале Плюс Все примеры могут быть загружены в IDE для Рефала Плюс в виде проекта UGPSummerSchool2008 ...
Работа с программами на Рефале Плюс в среде Эклипс Установка среды программирования на Рефале Плюс описана на странице EclipsePluginInstallation. Поддержка работы ...
Refal Plus plugin for Eclipse инструкция по загрузке исходных текстов в Eclipse Необходимые компоненты Для работы с исходными текстами в Eclipse необходимо установить ...
Статьи и документация по проекту "Новый подход к реализации Рефала Плюс" 1. Климов Ю. А., Орлов А. Ю., Романенко С. А. Рефал Плюс на платформе Java // Всероссийская ...
Фёдорович Турчин, автор языка Рефал, использовал его при описании своего подхода к основаниям математики, который он назвал Кибернетическими Основаниями . В рамках ...
Природа математики 1. Теория отображений. Первая известная нам философия математики, которая существует очень давно, была создана Платоном, как и многие другие основания ...
Необновляемый CVS репозиторий проекта Внимание! С сентября 2006 го года в проекте используется система контроля версий Subversion. Исходные тексты общедоступны ...
Верификация программ на объектно ориентированных языках Информация о методах верификации программ на объектно ориентированных языках, средствах описания моделей программ ...
Преобразование данных В Рефале символы могут быть следующими: символ литера, символ слово и символ число. Эти данные естественным образом отображаются на Ява данные ...
" warn "off"}% /ru14.gif по русски /uk14.gif in English
AntonOrlov 07 May 2007
Team R entry to the 2005 Programming Contest Team R (consisting of one member: Anton Orlov) participated in the eighth annual ICFP programming contest. This year ...
Refal Plus programming language Refal Plus is a modern dialect of Refal programming language. Refal (REcursive Functions Algorithmic Language) was originally developed ...
Различие между Рефалом 1991 и 2007 годов. Refal 91 Refal 91 (ext) Refal 07 Слова, которые можно писать без кавычек A Z A Za z0 9 ...
Пример использования из командной строки: Компиляция RunRefalCompiler.java : javac classpath .;rfpc.jar RunRefalCompiler.java Компиляция рефал ...
10.1. Синтаксис 10.1. Синтаксис Тропа Условие Присваивание Поиск Перестройка Хвост Источник. Предложение ОбразцовоеУсловие ...
ASAIL Версия на 10.02.2007 t.module : (MODULE (e.module name) e.module body) e.module name : ??? e.module body : t.module item t.module item : (FUNC s ...
AntonOrlov 28 Feb 2007
This is a subscription service to be automatically notified by e mail when topics change in this Refaldevel web. This is a convenient service, so you do not have ...
CppBackend для представления чисел произвольной разрядности использует библиотеку GMP. Ниже приведены модификации этой библиотеки, необходимые, чтобы собрать её для ...
#RfpSh rfp.sh!! скрипт для быстрой компиляции программ без сложных зависимостей Скрипт rfp.sh последовательно выполняет все стадии компиляции и линковку поданых ...
Эту страницу предлагается использовать для небольших (не заслуживающих вынесения в отдельные топики) комментариев, возникающих в связи с CyberneticFoundationOfMathematics ...
Java backend JAR архив rfpc.jar включает в себя компилятор из Refal (самосконвертированный в Java), а также набор class файлов, необходимых для работы рефал программ ...
Попробовал написать примерчик, который проще чем TRefalPermutations и, может быть, более искусственный. Однако он позволяет понять некоторые интересные моменты. Небольшое ...
Основные изменения, которые были внесены в рантайм для работы с Visual C . В классе Heap вместо функций mmap(...) и munmap(...) использованы функции VirtualAlloc ...
Методы оптимизации сопоставления с образцом Несколько примеров Примеры взяты из работы С. А. Романенко "Реализация Рефала 2". Пример Re : e1 ' ' e2 ' ' e3 Эквивалентно ...
Предполагается дать пользователям системы возможность определять свои объекты, то есть, вводить свои типы данных. Для этого пользователю надо предоставить инструменты ...
StdIO Функции Open File , Close Channel , EOF? , Read Char , Read Char! , Read Line , Read Line! , Read , Read! написаны на Рефале . Их реализация использует ...
Пусть дано множество {a i} из N элементов (1 i N). Тогда все их перестановки Perm {a i} можно записать в следующем виде: (a 1 ) (a 2 ) ... (a N где ...
Рефал для программиста на Java Пока пример. На странице http://nuclight.livejournal.com/111696.html на примере некоторой небольшой задачи (проверка соответствия строки ...
Ошибки и недоделки Нужна функция StdIO.Flush! Функции ввода/вывода из StdIO должны, по возможности, работать с буферизованными потоками. Соответственно, нужен ...
4.4. Ожидаемые в конце 2007 года научные результаты (развернутое описание с оценкой степени оригинальности; форма изложения должна дать возможность провести экспертизу ...
4.6. Имеющийся у коллектива научный задел по предлагаемому проекту: полученные ранее результаты (с оценкой степени оригинальности), разработанные методы (с оценкой ...
4.7.1. Список основных публикаций коллектива, наиболее близко относящихся к предлагаемому проекту АК 03.09.06: Ниже идут публикации ИПМ овской части команды по теме ...
1.5. Аннотация (не более 0,5 стр.) В последние годы наблюдался значительный прогресс в разработке сложных и изощренных методов в области метавычислений (суперкомпиляция ...
4.5. Современное состояние исследований в данной области науки, сравнение ожидаемых результатов с мировым уровнем В настоящее время не существует реализаций Рефала ...
Number of topics: 50

See also: rss-small RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r2 < r1 | More topic actions
 
R+

This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback