Это командный режим, который можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
Maude - высокопроизводительная логическая структура
СИНТАКСИС
Мод [кредита] [файлов]
ОПИСАНИЕ
Эта страница руководства кратко документирует Мод устный переводчик. Эта страница руководства была написана
для дистрибутива Debian, потому что исходная программа не имеет страницы руководства.
Мод - это высокопроизводительный рефлексивный язык и система, поддерживающая как эквациональные, так и
переписывание логической спецификации и программирование для широкого спектра приложений. Мод и
на него во многом повлиял язык OBJ3, который можно рассматривать как
подъязык эквациональной логики. Помимо поддержки эквациональной спецификации и программирования,
Мод также поддерживает перезапись логических вычислений.
Логика перезаписи - это логика одновременных изменений, которая естественным образом может иметь дело с состоянием и
с параллельными вычислениями. Он обладает хорошими свойствами в качестве общей семантической основы для
предоставление исполняемой семантики широкому спектру языков и моделей параллелизма. В
в частности, он очень хорошо поддерживает параллельные объектно-ориентированные вычисления. Те же причины
превращение логики переписывания в хорошую семантическую структуру делает ее также хорошей логической структурой,
то есть металогика, в которой могут быть естественно представлены и реализованы многие другие логики.
Мод систематически и эффективно поддерживает логическое размышление. Это делает Мод
замечательно расширяемый и мощный, поддерживает расширяемую алгебру композиции модулей
операций и позволяет использовать множество расширенных приложений для метапрограммирования и метаязыка.
Действительно, некоторые из самых интересных приложений Мод являются метаязычными приложениями,
, в которой Мод используется для создания исполняемых сред для различных логик, теорема
доказывающие, языки и модели вычислений.
--Помогите отображать справочную информацию
--версия
Показать номер версии
-без прелюдии
Не читайте в стандартной прелюдии
-нет-баннер
Не выводить баннер при запуске
-нет-совет
Никаких рекомендаций по запуску
-без миксфикса
Не используйте нотацию mixfix для вывода
-без обертывания
Не использовать автоматический перенос строк для вывода
-анси-цвет
Используйте управляющие последовательности ANSI
-нет-анси-цвет
Не используйте управляющие последовательности ANSI
-текла Используйте редактирование командной строки tecla
-но-текла
Не используйте редактирование командной строки tecla
-партия Запуск в пакетном режиме
-интерактивный
Запуск в интерактивном режиме
-случайное семя =
Установить начальное число для генератора случайных чисел
-xml-журнал =
Установить файл, в котором будет создаваться XML-журнал
АВТОРСКИЕ ПРАВА
Авторское право (c) 1997-2011 SRI International, Menlo Park, CA 94025, США.
Авторские права (c) 1997-2002, Макото Мацумото и Такудзи Нисимура,
Авторские права (c) 2000 - 2003, Ричард Дж. Вагнер
СОСТАВЛЕНИЕ ОТЧЕТОВ ОШИБКИ
Отправляйте отчеты об ошибках по адресу: [электронная почта защищена]
Используйте мод онлайн с помощью сервисов onworks.net