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

500 Recent Changes in TWiki Web retrieved at 08:05 (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 и, может быть, более искусственный. Однако он позволяет понять некоторые интересные моменты. Небольшое ...
Пусть дано множество {a i} из N элементов (1 i N). Тогда все их перестановки Perm {a i} можно записать в следующем виде: (a 1 ) (a 2 ) ... (a N где ...
StdIO Функции Open File , Close Channel , EOF? , Read Char , Read Char! , Read Line , Read Line! , Read , Read! написаны на Рефале . Их реализация использует ...
Предполагается дать пользователям системы возможность определять свои объекты, то есть, вводить свои типы данных. Для этого пользователю надо предоставить инструменты ...
Основные изменения, которые были внесены в рантайм для работы с Visual C . В классе Heap вместо функций mmap(...) и munmap(...) использованы функции VirtualAlloc ...
Методы оптимизации сопоставления с образцом Несколько примеров Примеры взяты из работы С. А. Романенко "Реализация Рефала 2". Пример Re : e1 ' ' e2 ' ' e3 Эквивалентно ...
Рефал для программиста на 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. Современное состояние исследований в данной области науки, сравнение ожидаемых результатов с мировым уровнем В настоящее время не существует реализаций Рефала ...
4.3. Предлагаемые методы и подходы (с оценкой степени новизны; общий план работ на весь срок выполнения проекта) АК 03.09.06: Это то, что я собрал из переписки и ...
4.2. Конкретная фундаментальная задача в рамках проблемы, на решение которой направлен проект (если данная задача связана с какой либо темой работ, выполняемых авторами ...
4.1. Фундаментальная научная проблема, на решение которой направлен проект Широкий круг невычислительных задач, требующих высокой производительности, включая задачи ...
Заявка на грант РФФИ 2007 года Здесь представлены 2 формы заявки, отражающие содержательную часть, формы 1 и 4. По окончании работы над ними (около 15 сентября ...
1.1.1. Название проекта (на русском языке, с прописной буквы, строчными буквами) Развитие метаязыка Рефал Плюс и методов прикладных метавычислений АК 03.09.06: ...
Сводная страница длинных пунктов заявки Содержание коротких пунктов см. на головной странице заявки. Для редактирования пункта перейдите на его страницу, кликнув по ...
4.7.2. Список основных (не более 5) публикаций руководителя проекта в рецензируемых журналах за последние 3 года (независимо от их тематики) 0. Sergei M. Abramov ...
List : работа с выражениями как с плоскими списками Все функции данной библиотеки работают только с верхним уровнем переданных им выражений, рассматривая его как плоский ...
Перевод рекурсии в итерацию Суть подхода такова: если рекурсия выражает идею простого цикла можно использовать $iter . Так будет и эффективнее, и читабельней. Правило ...
Глава II. Синтаксис и семантика Рефала Плюс 1. Нотация для записи синтаксиса Для описания синтаксиса используется расширенная форма Бекуса Наура (РБНФ). Синтаксические ...
Работа в Unix с использованием C в качестве выходного языка Для того чтобы использовать CppBackend в Unix, кроме файлов проекта необходимо иметь компилятор C . В ...
TWiki's Refaldevel web
Мы предполагаем вести работы по следующим направлениям: 1. Применение классических оптимизаций синтаксического отождествления в Рефале Плюс. Рассматриваются работы ...
Java runtime AlexNesterov 12 Sep 2005
О спецификаторах По работе С.А.Романенко "Реализация Рефала 2". Алгоритмы отождествления Спецификаторы служат в рефал программах для формулировки ограничений, накладываемых ...
Частичные вычисления и прогонка Используются материалы статей 1. А.В. Климов, С.А. Романенко. Метавычислитель для языка Рефал. Основные понятия и примеры. Москва ...
Aлгоритм распознавания YES Q Конечное множество первичных спецификаторов , где N 2, является разложением первичного спецификатора P, если YES P YES P1 ...
Переупорядочение дыр Теорема 1. Пусть G подстановка, а X и Y кортежи пар выражений. Рассмотрим множество W G,X , упорядоченное отношением линейного порядка, и ...
Существует два подхода к синтаксическому отождествлению в Рефале: аксиоматический и процедурный. В описании Рефала синтаксическое отождествление определяется следующим ...
Суперкомпиляция Используются материалы, опубликованные на http://www.refal.org/doc/turchin/dag/dag.html#CONTENTS и статья Valentin F. Turchin. The Algorithm of Generalization ...
Глава III. Библиотека функций 1. Использование библиотечных функций Составной частью системы Рефал Плюс является библиотека функций, состоящая из нескольких ...
Дополнительные возможности Рефала Плюс Запись чисел и литер в шестнадцатиричной системе Неотрицательные целые числа можно записывать в виде 0xZZZ ...
Описание языка Рефал Плюс (классическая книжка Гурина и Романенко): RefalPlusBook. Дополнительные возможности Рефала Плюс, описанные после издания русскоязычного варианта ...
Глава I. Программирование на Рефале Плюс В данной главе мы даем неформальный обзор основных изобразительных средств языка Рефал Плюс, приводим примеры программ и ...
Язык программирования Рефал Плюс Рутен Ф.Гурин, Сергей А.Романенко Содержание Введение Глава I. Программирование на Рефале Плюс ...
11. Пример: компилятор для простого императивного языка В этом разделе мы рассматриваем методы написания компиляторов на Рефале Плюс. Эти методы демонстрируются на ...
ЛИТЕРАТУРА АбР 88 : С.М.Абрамов, С.А.Романенко. Представление объектных выражений массивами при реализации языка Рефал. М.:ИПМ им.М.В.Келдыша АН СССР, 1988, препринт ...
Алфавитный указатель функций $func " " s.Int1 s.Int2 s.Int; ARITHM $func " " s.Int1 s.Int2 s.Int; ARITHM ...
Сопоставение с образцом (синтаксическое отождестление) в Рефале является одним из основных изобразительных средств языка. Этот раздел посвящен описанию классических ...
" else "TWiki's Refaldevel web"}% /Refaldevel
Рефал машина это кибернетическое устройство, состоящее из двух потенциально бесконечных запоминающих устройств (поля памяти и поля зрения) и процессора, преобразующего ...
Введение Рефал Плюс представляет собой один из диалектов языка программирования Рефал. Рефал (алгоритмический язык рекурсивных функций) был создан В.Ф.Турчиным ...
НОТАЦИЯ ДЛЯ ЗАПИСИ СИНТАКСИСА $ Синтаксис { СинтФормула }. $ СинтФормула Идентификатор " " СинтВыражение ".". $ СинтВыражение СинтСлагаемое ...
refal plus.zip (516k): Distributive for Cygwin (27 Apr 2004) Постепенно устаревающая версия системы, работающая под Cygwin. Разработку этой ветви проекта было решено ...
Результаты Описание рантайма Ленивость в OpenTS ToDo Хотелось бы, чтобы заработал пример TRefalPermutations, на котором должен быть виден выигрыш от ...
Пока только картинки: Рис. 1 (Пример выражения) Рис. 2 (Терм) Рис. 3 (Список массивов термов (ExprChunk)) PhilK 02 Mar 2005
При описании действий Рефал машины, выполняющей синтаксическое отождествление, будем опираться на процесс (алгоритм) проектирования типового выражения L на объектное ...
C backend Выражения Надо написать. #RefalFunctions Функции #RefalFunctionDefs Определение рефал функции в C программе имеет следующий вид: RF FUNC (FName, args ...
IdAlgorythm Алгоритм отождествления (Антон Орлов) GarbageCollector Сборщик мусора (Антон Орлов) TestSuit Тестирование (Светлана Пономарева) WinVersion ...
Принципы компиляции Рефал программ в императивные языки Отображение данных Рефал выражение в императивном языке представляет из себя чёрный ящик, допускающий выполнение ...
Вот некоторая документаци по runtime библиотеке для .Net реализации Рефал (R#). Она достаточно краткая, но все же дает представление о том каким методам и классам ...
Number of topics: 97

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