r3 - 28 Mar 2005 - 13:40:13 - TWiki ContributorYou are here: TWiki >  Refaldevel Web > WebIndex

Results from Refaldevel web retrieved at 14:08 (Local)

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
Ошибки и недоделки Нужна функция StdIO.Flush! Функции ввода/вывода из StdIO должны, по возможности, работать с буферизованными потоками. Соответственно, нужен ...
Принципы компиляции Рефал программ в императивные языки Отображение данных Рефал выражение в императивном языке представляет из себя чёрный ящик, допускающий выполнение ...
Пример использования из командной строки: Компиляция RunRefalCompiler.java : javac classpath .;rfpc.jar RunRefalCompiler.java Компиляция рефал ...
C backend Выражения Надо написать. #RefalFunctions Функции #RefalFunctionDefs Определение рефал функции в C программе имеет следующий вид: RF FUNC (FName, args ...
Вот некоторая документаци по runtime библиотеке для .Net реализации Рефал (R#). Она достаточно краткая, но все же дает представление о том каким методам и классам ...
Фёдорович Турчин, автор языка Рефал, использовал его при описании своего подхода к основаниям математики, который он назвал Кибернетическими Основаниями . В рамках ...
Эту страницу предлагается использовать для небольших (не заслуживающих вынесения в отдельные топики) комментариев, возникающих в связи с CyberneticFoundationOfMathematics ...
Природа математики 1. Теория отображений. Первая известная нам философия математики, которая существует очень давно, была создана Платоном, как и многие другие основания ...
refal plus.zip (516k): Distributive for Cygwin (27 Apr 2004) Постепенно устаревающая версия системы, работающая под Cygwin. Разработку этой ветви проекта было решено ...
refal r2282 MinGW.zip: Компилятор Рефала С бэкенд MinGW самодостаточный архив для работы в Windows refal r2412 src.zip: Snapshot of the whole project from ...
Eclipse Demo Camp November 2008 Pereslavl Zalessky Презентация (PDF, 5.9M): EclipseDemo 08 1.pdf Презентация через google docs:
Refal Plus plugin for Eclipse инструкция по установке Необходимые компоненты 1. Ява рантайм версии 5.0 или выше. 1. http://www.eclipse.org/ Eclipse ...
Refal Plus plugin for Eclipse #8212; installation manual Prerequisites 1. Java runtime version 5.0 or above. 1. http://www.eclipse.org/ Eclipse version ...
Рефал для программиста на Java Пока пример. На странице http://nuclight.livejournal.com/111696.html на примере некоторой небольшой задачи (проверка соответствия строки ...
Рефал программа, скомпилированная в С , собирается без ошибок, но не работает. Почему? Если программа падает с сообщением Segmentation fault (под Linux) или вообще ...
Мы предполагаем вести работы по следующим направлениям: 1. Применение классических оптимизаций синтаксического отождествления в Рефале Плюс. Рассматриваются работы ...
CppBackend для представления чисел произвольной разрядности использует библиотеку GMP. Ниже приведены модификации этой библиотеки, необходимые, чтобы собрать её для ...
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 ...
YuriKlimov and AntonOrlov participated in the annual ICFP Programming Contest as team "Error 404". There were interesting attempts to use Refal in some nontrivial ...
AntonOrlov 13 Sep 2008
Java backend JAR архив rfpc.jar включает в себя компилятор из Refal (самосконвертированный в Java), а также набор class файлов, необходимых для работы рефал программ ...
Java runtime AlexNesterov 12 Sep 2005
Преобразование данных В Рефале символы могут быть следующими: символ литера, символ слово и символ число. Эти данные естественным образом отображаются на Ява данные ...
List : работа с выражениями как с плоскими списками Все функции данной библиотеки работают только с верхним уровнем переданных им выражений, рассматривая его как плоский ...
StdIO Функции Open File , Close Channel , EOF? , Read Char , Read Char! , Read Line , Read Line! , Read , Read! написаны на Рефале . Их реализация использует ...
Частичные вычисления и прогонка Используются материалы статей 1. А.В. Климов, С.А. Романенко. Метавычислитель для языка Рефал. Основные понятия и примеры. Москва ...
Основные изменения, которые были внесены в рантайм для работы с Visual C . В классе Heap вместо функций mmap(...) и munmap(...) использованы функции VirtualAlloc ...
10.1. Синтаксис 10.1. Синтаксис Тропа Условие Присваивание Поиск Перестройка Хвост Источник. Предложение ОбразцовоеУсловие ...
Лента новостей 23 Dec 2008 дел по Рефалу на 23 декабря 2008 сайт презентация к семинару в ИПМ. 28 Nov 2008 EclipseDemoCamp2008 11 Jul 2008 Материалы занятий ...
Предполагается дать пользователям системы возможность определять свои объекты, то есть, вводить свои типы данных. Для этого пользователю надо предоставить инструменты ...
Переупорядочение дыр Теорема 1. Пусть G подстановка, а X и Y кортежи пар выражений. Рассмотрим множество W G,X , упорядоченное отношением линейного порядка, и ...
Статьи и документация по проекту "Новый подход к реализации Рефала Плюс" 1. Климов Ю. А., Орлов А. Ю., Романенко С. А. Рефал Плюс на платформе Java // Всероссийская ...
Методы оптимизации сопоставления с образцом Несколько примеров Примеры взяты из работы С. А. Романенко "Реализация Рефала 2". Пример Re : e1 ' ' e2 ' ' e3 Эквивалентно ...
Refal Plus plugin for Eclipse инструкция по загрузке исходных текстов в Eclipse Необходимые компоненты Для работы с исходными текстами в Eclipse необходимо установить ...
Aлгоритм распознавания YES Q Конечное множество первичных спецификаторов , где N 2, является разложением первичного спецификатора P, если YES P YES P1 ...
Перевод рекурсии в итерацию Суть подхода такова: если рекурсия выражает идею простого цикла можно использовать $iter . Так будет и эффективнее, и читабельней. Правило ...
Различие между Рефалом 1991 и 2007 годов. Refal 91 Refal 91 (ext) Refal 07 Слова, которые можно писать без кавычек A Z A Za z0 9 ...
Работа с программами на Рефале Плюс в среде Эклипс Установка среды программирования на Рефале Плюс описана на странице EclipsePluginInstallation. Поддержка работы ...
Refal Plus Development Tools (Eclipse based Refal Plus IDE) Installation of Eclipse based Refal Plus IDE is described here: EclipsePluginInstallationEn. The following ...
Необновляемый CVS репозиторий проекта Внимание! С сентября 2006 го года в проекте используется система контроля версий Subversion. Исходные тексты общедоступны ...
Описание языка Рефал Плюс (классическая книжка Гурина и Романенко): RefalPlusBook. Дополнительные возможности Рефала Плюс, описанные после издания русскоязычного варианта ...
Язык программирования Рефал Плюс Рутен Ф.Гурин, Сергей А.Романенко Содержание Введение Глава I. Программирование на Рефале Плюс ...
ЛИТЕРАТУРА АбР 88 : С.М.Абрамов, С.А.Романенко. Представление объектных выражений массивами при реализации языка Рефал. М.:ИПМ им.М.В.Келдыша АН СССР, 1988, препринт ...
Глава I. Программирование на Рефале Плюс В данной главе мы даем неформальный обзор основных изобразительных средств языка Рефал Плюс, приводим примеры программ и ...
Глава II. Синтаксис и семантика Рефала Плюс 1. Нотация для записи синтаксиса Для описания синтаксиса используется расширенная форма Бекуса Наура (РБНФ). Синтаксические ...
Глава III. Библиотека функций 1. Использование библиотечных функций Составной частью системы Рефал Плюс является библиотека функций, состоящая из нескольких ...
11. Пример: компилятор для простого императивного языка В этом разделе мы рассматриваем методы написания компиляторов на Рефале Плюс. Эти методы демонстрируются на ...
Дополнительные возможности Рефала Плюс Запись чисел и литер в шестнадцатиричной системе Неотрицательные целые числа можно записывать в виде 0xZZZ ...
Алфавитный указатель функций $func " " s.Int1 s.Int2 s.Int; ARITHM $func " " s.Int1 s.Int2 s.Int; ARITHM ...
Введение Рефал Плюс представляет собой один из диалектов языка программирования Рефал. Рефал (алгоритмический язык рекурсивных функций) был создан В.Ф.Турчиным ...
Refal Plus programming language Refal Plus is a modern dialect of Refal programming language. Refal (REcursive Functions Algorithmic Language) was originally developed ...
НОТАЦИЯ ДЛЯ ЗАПИСИ СИНТАКСИСА $ Синтаксис { СинтФормула }. $ СинтФормула Идентификатор " " СинтВыражение ".". $ СинтВыражение СинтСлагаемое ...
Заявка на грант РФФИ 2007 года Здесь представлены 2 формы заявки, отражающие содержательную часть, формы 1 и 4. По окончании работы над ними (около 15 сентября ...
1.1.1. Название проекта (на русском языке, с прописной буквы, строчными буквами) Развитие метаязыка Рефал Плюс и методов прикладных метавычислений АК 03.09.06: ...
1.5. Аннотация (не более 0,5 стр.) В последние годы наблюдался значительный прогресс в разработке сложных и изощренных методов в области метавычислений (суперкомпиляция ...
4.1. Фундаментальная научная проблема, на решение которой направлен проект Широкий круг невычислительных задач, требующих высокой производительности, включая задачи ...
4.2. Конкретная фундаментальная задача в рамках проблемы, на решение которой направлен проект (если данная задача связана с какой либо темой работ, выполняемых авторами ...
4.3. Предлагаемые методы и подходы (с оценкой степени новизны; общий план работ на весь срок выполнения проекта) АК 03.09.06: Это то, что я собрал из переписки и ...
4.4. Ожидаемые в конце 2007 года научные результаты (развернутое описание с оценкой степени оригинальности; форма изложения должна дать возможность провести экспертизу ...
4.5. Современное состояние исследований в данной области науки, сравнение ожидаемых результатов с мировым уровнем В настоящее время не существует реализаций Рефала ...
4.6. Имеющийся у коллектива научный задел по предлагаемому проекту: полученные ранее результаты (с оценкой степени оригинальности), разработанные методы (с оценкой ...
4.7.1. Список основных публикаций коллектива, наиболее близко относящихся к предлагаемому проекту АК 03.09.06: Ниже идут публикации ИПМ овской части команды по теме ...
4.7.2. Список основных (не более 5) публикаций руководителя проекта в рецензируемых журналах за последние 3 года (независимо от их тематики) 0. Sergei M. Abramov ...
Сводная страница длинных пунктов заявки Содержание коротких пунктов см. на головной странице заявки. Для редактирования пункта перейдите на его страницу, кликнув по ...
О спецификаторах По работе С.А.Романенко "Реализация Рефала 2". Алгоритмы отождествления Спецификаторы служат в рефал программах для формулировки ограничений, накладываемых ...
Суперкомпиляция Используются материалы, опубликованные на http://www.refal.org/doc/turchin/dag/dag.html#CONTENTS и статья Valentin F. Turchin. The Algorithm of Generalization ...
Сопоставение с образцом (синтаксическое отождестление) в Рефале является одним из основных изобразительных средств языка. Этот раздел посвящен описанию классических ...
IdAlgorythm Алгоритм отождествления (Антон Орлов) GarbageCollector Сборщик мусора (Антон Орлов) TestSuit Тестирование (Светлана Пономарева) WinVersion ...
Результаты Описание рантайма Ленивость в OpenTS ToDo Хотелось бы, чтобы заработал пример TRefalPermutations, на котором должен быть виден выигрыш от ...
Пока только картинки: Рис. 1 (Пример выражения) Рис. 2 (Терм) Рис. 3 (Список массивов термов (ExprChunk)) PhilK 02 Mar 2005
Пусть дано множество {a i} из N элементов (1 i N). Тогда все их перестановки Perm {a i} можно записать в следующем виде: (a 1 ) (a 2 ) ... (a N где ...
Занятия по Рефалу на летней школе в УГП, 2008 Примеры программ на Рефале Плюс Все примеры могут быть загружены в IDE для Рефала Плюс в виде проекта UGPSummerSchool2008 ...
Работа в Unix с использованием C в качестве выходного языка Для того чтобы использовать CppBackend в Unix, кроме файлов проекта необходимо иметь компилятор C . В ...
#RfpSh rfp.sh!! скрипт для быстрой компиляции программ без сложных зависимостей Скрипт rfp.sh последовательно выполняет все стадии компиляции и линковку поданых ...
Верификация программ на объектно ориентированных языках Информация о методах верификации программ на объектно ориентированных языках, средствах описания моделей программ ...
C Backend Microsoft Visual C Эта страница рассказывает о том, как настроить компиляцию рефал программ в С и дальше в исполняемые файлы с помощью Microsoft Visual ...
TWiki's Refaldevel web
Добро пожаловать на сайт, посвящённый развитию языка Рефал! Цель нашего проекта создание удобного, надёжного и переносимого окружения для программирования на диалектах ...
Welcome to the Refal development collaboration web! Our goal is to make decent portable environment for programming in existing Refal dialects and experimenting with ...
" warn "off"}% /ru14.gif по русски /uk14.gif in English
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 ...
TWiki.Refaldevel Web Preferences The following settings are web preferences of the TWiki.Refaldevel web. These preferences overwrite the site level preferences ...
" else "TWiki's Refaldevel web"}% /Refaldevel
Statistics for Refaldevel Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...
При описании действий Рефал машины, выполняющей синтаксическое отождествление, будем опираться на процесс (алгоритм) проектирования типового выражения L на объектное ...
Попробовал написать примерчик, который проще чем TRefalPermutations и, может быть, более искусственный. Однако он позволяет понять некоторые интересные моменты. Небольшое ...
Рефал машина это кибернетическое устройство, состоящее из двух потенциально бесконечных запоминающих устройств (поля памяти и поля зрения) и процессора, преобразующего ...
Number of topics: 97

See also the faster Web Topic List

Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r3 < 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