Це команда maude, яку можна запустити в постачальнику безкоштовного хостингу OnWorks за допомогою однієї з наших численних безкоштовних робочих станцій, таких як Ubuntu Online, Fedora Online, онлайн-емулятор Windows або онлайн-емулятор MAC OS
ПРОГРАМА:
ІМ'Я
Maude - високопродуктивна логічна структура
СИНТАКСИС
мод [опції] [файли]
ОПИС
На цій сторінці посібника коротко описано мод перекладач. Ця сторінка посібника була написана
для дистрибутива Debian, оскільки вихідна програма не має сторінки посібника.
мод – це високопродуктивна рефлексивна мова та система, що підтримує як equational, так і
переписування логічної специфікації та програмування для широкого кола застосувань. мод має
зазнала суттєвого впливу мови OBJ3, яку можна розглядати як
підмова екваціональної логіки. Окрім підтримки екваційної специфікації та програмування,
мод також підтримує перезапис логічних обчислень.
Логіка переписування — це логіка одночасних змін, яка природно може мати справу зі станом і
з одночасними обчисленнями. Він має гарні властивості як загальна семантична основа для
надання семантики виконуваної функції широкому діапазону мов і моделей паралельності. в
зокрема, він дуже добре підтримує одночасні об'єктно-орієнтовані обчислення. Ті ж причини
зробити логіку переписування хорошою семантичною структурою, зробити її також хорошою логічною структурою,
тобто металогіка, в якій багато інших логік можуть бути природним чином представлені та виконані.
мод підтримує систематично й ефективно логічне відображення. Це робить мод
надзвичайно розширюваний і потужний, підтримує розширювану алгебру модульної композиції
операцій і дозволяє багато передових метапрограмування та метамовних додатків.
Дійсно, деякі з найцікавіших застосувань мод є метамовними додатками,
, В якому мод використовується для створення виконуваних середовищ для різних логік, теорема
докази, мови та моделі обчислень.
--допомога відобразити довідкову інформацію
-- версія
Показати номер версії
- без прелюдії
Не читайте в стандартній прелюдії
-не банер
Не виводьте банер під час запуску
- без порад
Жодних порад щодо запуску
-без міксфіксу
Не використовуйте нотацію mixfix для виведення
-не обгортання
Не виконуйте автоматичне перенесення рядків для виведення
-ansi-колір
Використовуйте керуючі послідовності ANSI
-не-ансі-колір
Не використовуйте керуючі послідовності ANSI
-текла Використовуйте редагування командного рядка tecla
-но-текла
Не використовуйте редагування командного рядка tecla
- партія Запустити в пакетному режимі
- інтерактивна
Запуск в інтерактивному режимі
-random-seed=
Встановити початкове значення для генератора випадкових чисел
-xml-log=
Встановити файл, у якому створюватиметься журнал xml
АВТОРСЬКЕ
Авторське право (c) 1997-2011 SRI International, Менло-Парк, CA 94025, США.
Авторське право (c) 1997 - 2002, Макото Мацумото та Такудзі Нішимура,
Авторське право (c) 2000 - 2003, Ріхард Дж. Вагнер
ЗВІТНІСТЬ БУГИ
Надсилайте звіти про помилки на адресу: [захищено електронною поштою]
Використовуйте maude онлайн за допомогою служб onworks.net
