r19 - 26 Jun 2008 - 18:30:11 - Anton OrlovYou are here: TWiki >  XSG Web > WebHome

Приветствуем вас на сайте, посвящённом проекту XSG.

Основной целью данного проекта является демонстрация и развитие приёмов теории метавычислений на примере модельного языка XSG.

Что представляет из себя язык XSG?

Его формирование далеко не закончено, язык развивается вместе с инструментами для метавычислений над ним.

Основные черты языка, которые хочется иметь: ленивость, неплоскость, коарность, недетерминизм, справедливость, равенство, замкнутость относительно суперкомпиляции.

Интерпретатор и некоторые средства метавычислений для текущего варианта языка находятся по адресам:

А также на CVS по адресу :pserver:anoncvs@skif.pereslavl.ru:/cvsroot (пароль: anoncvs), модуль xsg.

Yuri Klimov: Я добавил некоторые письма из нашей переписки:

Andrei Mishchenko: А я хочу обсуждать что-нибудь на Форуме!

Yuri Klimov: Позитивный XSG.

Andrei Mishchenko: Внешний синтаксис.

Yuri Klimov: Семинар в МГУ 15 ноября 2004г.

Artem Shvorin: Формальное описание.

Yuri Klimov: Семинар в УГП 26 июня 2008г, задачки для студентов.

Site Tools of the XSG Web

Notes:

  • You are currently in the XSG web. The color code for this web is this background, so you know where you are.
  • If you are not familiar with the TWiki collaboration platform, please visit Welcome Guest first.

Web TWiki Site Map Use to...
Main Home of Main web Search Main web Recent changes in the Main web Get notified of changes to the Main web Добро пожаловать в TWiki... Пользователи, Группы, Учреждения - познакомьтесь с этим расширяемым виртуальным рабочим пространством. ... Получить представление о возможностях TWiki.
TWiki Home of TWiki web Search TWiki web Recent changes in the TWiki web Get notified of changes to the TWiki web Welcome, Registration, and other Starting Points; TWiki history & Wiki style; All the docs... ...discover TWiki details, and how to start your own site.
Clearmail Home of Clearmail web Search Clearmail web Recent changes in the Clearmail web Get notified of changes to the Clearmail web Проект фильтрации почты от спама ...collaborate on Clearmail project
Departments Home of Departments web Search Departments web Recent changes in the Departments web Get notified of changes to the Departments web Информация о кафедрах, учебных курсах и преподавателях университета города Переславля Для совместной учебной работы преподавателей и студентов УГП
GEMS Home of GEMS web Search GEMS web Recent changes in the GEMS web Get notified of changes to the GEMS web wiki space for gems-devel@botik(точка).ru group ...collaborate on GEMS development
GKP Home of GKP web Search GKP web Recent changes in the GKP web Get notified of changes to the GKP web Группа компьютерной поддержки Обеспечить работу компьютерного парка УГП
GKP.Work Home of GKP/Work web Search GKP/Work web Recent changes in the GKP/Work web Get notified of changes to the GKP/Work web TWiki Form based Issue tracking system ...collaborate on
IS4UGP Home of IS4UGP web Search IS4UGP web Recent changes in the IS4UGP web Get notified of changes to the IS4UGP web Проект информационной системы для Университета города Переславля ... участвовать в разработке и сопровождении Информационной системы для Университета города Переславля
IS4UGP.Bugs Home of IS4UGP/Bugs web Search IS4UGP/Bugs web Recent changes in the IS4UGP/Bugs web Get notified of changes to the IS4UGP/Bugs web TWiki Form based Issue tracking system ...collaborate on
LaTeX Home of LaTeX web Search LaTeX web Recent changes in the LaTeX web Get notified of changes to the LaTeX web Pereslavl Zalesskil LaTeX? Site collaborate on LaTeX? user support and LaTeX? development
Mr2 Home of Mr2 web Search Mr2 web Recent changes in the Mr2 web Get notified of changes to the Mr2 web ТСЖ "Второй микрорайон" ... сотрудничать в обустройстве домов, окружающих "Почемучку".
OPENTS Home of OPENTS web Search OPENTS web Recent changes in the OPENTS web Get notified of changes to the OPENTS web OPENTS.OpenTS project
PSI Home of PSI web Search PSI web Recent changes in the PSI web Get notified of changes to the PSI web Ученый совет ИПС РАН Материалы Ученого совета Института программных систем РАН
Refaldevel Home of Refaldevel web Search Refaldevel web Recent changes in the Refaldevel web Get notified of changes to the Refaldevel web wiki space for refal development group ...collaborate on Refal development
Refaldevel.Track Home of Refaldevel/Track web Search Refaldevel/Track web Recent changes in the Refaldevel/Track web Get notified of changes to the Refaldevel/Track web TWiki Form based Issue tracking system ...collaborate on
Sandbox Home of Sandbox web Search Sandbox web Recent changes in the Sandbox web Get notified of changes to the Sandbox web Sandbox test area with all features enabled. ...experiment in an unrestricted hands-on web.
Support Home of Support web Search Support web Recent changes in the Support web Get notified of changes to the Support web Twiki Russian localisation resourse ...collaborate on Twiki Russian localisation
Support.Bugs Home of Support/Bugs web Search Support/Bugs web Recent changes in the Support/Bugs web Get notified of changes to the Support/Bugs web TWiki Form based Issue tracking system ...collaborate on
TSim Home of TSim web Search TSim web Recent changes in the TSim web Get notified of changes to the TSim web TSim - библиотека шаблонных классов С++ написание параллельных программ
XSG Home of XSG web Search XSG web Recent changes in the XSG web Get notified of changes to the XSG web XSG project ...develop XSG language and metacomputation tools for it.
You can use color coding by web for identification and reference. This table is updated automatically based on WebPreferences settings of the individual webs. Contact wikimaster@wiki(точка).botik.ru if you need a separate collaboration web for your team. See also Admin Tools Category.
Legend of icons:   Home of web = Go to the home of the web
Search web = Search the web
  Recent changes in the web = See recent changes in the web
Get notified of changes to the web = Subscribe to get notified of changes by e-mail
Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r19 < r18 < r17 < r16 < r15 | More topic actions
 
Powered by TWiki

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