АнглийскийФранцузскийНемецкийИтальянскийПортугальскийРусскийИспанский

Значок OnWorks

maude - Интернет в облаке

Запустите maude в бесплатном хостинг-провайдере OnWorks через Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS

Это командный режим, который можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.

ПРОГРАММА:

ИМЯ


Maude - высокопроизводительная логическая структура

СИНТАКСИС


Мод [опционы] [файлов]

ОПИСАНИЕ


Эта страница руководства кратко документирует Мод устный переводчик. Эта страница руководства была написана
для дистрибутива Debian, потому что исходная программа не имеет страницы руководства.

Мод - это высокопроизводительный рефлексивный язык и система, поддерживающая как эквациональные, так и
переписывание логической спецификации и программирование для широкого спектра приложений. Мод и
на него во многом повлиял язык OBJ3, который можно рассматривать как
подъязык эквациональной логики. Помимо поддержки эквациональной спецификации и программирования,
Мод также поддерживает перезапись логических вычислений.

Логика перезаписи - это логика одновременных изменений, которая естественным образом может иметь дело с состоянием и
с параллельными вычислениями. Он обладает хорошими свойствами в качестве общей семантической основы для
предоставление исполняемой семантики широкому спектру языков и моделей параллелизма. В
в частности, он очень хорошо поддерживает параллельные объектно-ориентированные вычисления. Те же причины
превращение логики переписывания в хорошую семантическую структуру делает ее также хорошей логической структурой,
то есть металогика, в которой могут быть естественно представлены и реализованы многие другие логики.

Мод систематически и эффективно поддерживает логическое размышление. Это делает Мод
замечательно расширяемый и мощный, поддерживает расширяемую алгебру композиции модулей
операций и позволяет использовать множество расширенных приложений для метапрограммирования и метаязыка.
Действительно, некоторые из самых интересных приложений Мод являются метаязычными приложениями,
, в которой Мод используется для создания исполняемых сред для различных логик, теорема
доказывающие, языки и модели вычислений.

--Помогите отображать справочную информацию

--версия
Показать номер версии

-без прелюдии
Не читайте в стандартной прелюдии

-нет-баннер
Не выводить баннер при запуске

-нет-совет
Никаких рекомендаций по запуску

-no-mixfix
Не используйте нотацию mixfix для вывода

-без обертывания
Не использовать автоматический перенос строк для вывода

-анси-цвет
Используйте управляющие последовательности ANSI

-no-ansi-color
Не используйте управляющие последовательности ANSI

-tecla Используйте редактирование командной строки tecla

-но-текла
Не используйте редактирование командной строки tecla

-партия Запуск в пакетном режиме

-интерактивный
Запуск в интерактивном режиме

-случайное семя =
Установить начальное число для генератора случайных чисел

-xml-журнал =
Установить файл, в котором будет создаваться XML-журнал

АВТОРСКИЕ ПРАВА


Авторское право (c) 1997-2011 SRI International, Menlo Park, CA 94025, США.

Авторские права (c) 1997-2002, Макото Мацумото и Такудзи Нисимура,

Авторские права (c) 2000 - 2003, Ричард Дж. Вагнер

СОСТАВЛЕНИЕ ОТЧЕТОВ ОШИБКИ


Отправляйте отчеты об ошибках по адресу: maude-bugs@maude.cs.uiuc.edu

Используйте мод онлайн с помощью сервисов onworks.net


Ad


Ad

Новейшие онлайн-программы для Linux и Windows