To jest polecenie maude, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks, korzystając z jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online Windows lub emulator online MAC OS
PROGRAM:
IMIĘ
Maude — wydajna platforma logiczna
STRESZCZENIE
cholerny [Opcje] [pliki]
OPIS
Ta strona podręcznika opisuje pokrótce Maude interpretator. Ta strona podręcznika została napisana
dla dystrybucji Debian, ponieważ oryginalny program nie ma strony podręcznika.
Maude jest wysoce wydajnym językiem i systemem refleksyjnym obsługującym zarówno równania, jak i
przepisywanie specyfikacji logiki i programowanie dla szerokiej gamy aplikacji. Maude ma
pod znaczącym wpływem języka OBJ3, który można uznać za
podjęzyk logiki równań. Oprócz obsługi specyfikacji i programowania równań,
Maude obsługuje również przepisywanie obliczeń logicznych.
Logika przepisywania jest logiką jednoczesnych zmian, która może naturalnie radzić sobie ze stanem i
z jednoczesnymi obliczeniami. Ma dobre właściwości jako ogólne ramy semantyczne dla
udostępnianie wykonywalnej semantyki szerokiej gamie języków i modeli współbieżności. w
w szczególności obsługuje bardzo dobrze współbieżne obliczenia obiektowe. Z tych samych powodów
uczynienie logiki przepisywania dobrym frameworkiem semantycznym, uczynienie go również dobrym frameworkiem logicznym,
to znaczy metalogika, w której wiele innych logik może być naturalnie reprezentowanych i wykonywanych.
Maude wspiera w systematyczny i efektywny sposób logiczną refleksję. To sprawia Maude
niezwykle rozszerzalny i potężny, obsługuje rozszerzalną algebrę składania modułów
operacji i umożliwia wiele zaawansowanych aplikacji metaprogramowania i metajęzyka.
Rzeczywiście, niektóre z najciekawszych zastosowań Maude są aplikacjami metajęzykowymi,
w którym Maude służy do tworzenia środowisk wykonywalnych dla różnych logik, twierdzeń
weryfikatory, języki i modele obliczeń.
--help wyświetl informacje pomocy
--wersja
Wyświetl numer wersji
-bez-preludium
Nie czytaj w standardowym preludium
-bez banera
Nie wyświetlaj banera podczas uruchamiania
-brak porady
Brak porad dotyczących uruchamiania
-nie-mixfix
Nie używaj notacji mixfix dla wyjścia
-bez owijania
Nie automatyczne zawijanie linii dla wyjścia
-ansi-kolor
Użyj sekwencji kontrolnych ANSI
-nie-ansi-kolor
Nie używaj sekwencji kontrolnych ANSI
-Tekla Użyj edycji wiersza poleceń tecla
-nie-tecla
Nie używaj edycji wiersza poleceń tecla
-seria Uruchom w trybie wsadowym
-interaktywny
Uruchom w trybie interaktywnym
-losowe-nasiona=
Ustaw ziarno dla generatora liczb losowych
-xml-log=
Ustaw plik, w którym chcesz utworzyć dziennik xml
PRAWA AUTORSKIE
Prawa autorskie (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA.
Prawa autorskie (c) 1997 - 2002, Makoto Matsumoto i Takuji Nishimura,
Prawa autorskie (c) 2000 - 2003, Richard J. Wagner
RAPORTOWANIE ROBAKI
Wysyłaj raporty o błędach do: [email chroniony]
Korzystaj z maude online za pomocą usług onworks.net