Aceasta este comanda maude care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
Maude - Un cadru logic de înaltă performanță
REZUMAT
Maude [Opțiuni] [fișiere]
DESCRIERE
Această pagină de manual documentează pe scurt Maude interpret. Această pagină de manual a fost scrisă
pentru distribuția Debian, deoarece programul original nu are o pagină de manual.
Maude este un limbaj și un sistem reflectorizant de înaltă performanță care suportă atât ecuaționale, cât și
rescrierea specificațiilor logice și programarea pentru o gamă largă de aplicații. Maude are
a fost influențat în moduri importante de limbajul OBJ3, care poate fi privit ca un
sublimbaj logic ecuațional. Pe lângă sprijinirea specificațiilor și programarii ecuaționale,
Maude acceptă, de asemenea, calculul logic de rescriere.
Rescrierea logicii este o logică a schimbării concurente care se poate ocupa în mod natural de starea și
cu calcule concurente. Are proprietăți bune ca cadru semantic general pentru
oferind semantică executabilă unei game largi de limbaje și modele de concurență. În
în special, acceptă foarte bine calculul concurent orientat pe obiecte. Aceleași motive
făcând din logica de rescriere un cadru semantic bun, o face și un cadru logic bun,
adică o metalogică în care multe alte logici pot fi reprezentate și executate în mod natural.
Maude susține într-un mod sistematic și eficient reflecția logică. Asta face Maude
remarcabil de extensibil și puternic, suportă o algebră extensibilă a compoziției modulelor
operațiuni și permite multe aplicații avansate de metaprogramare și metalingaj.
Într-adevăr, unele dintre cele mai interesante aplicații ale Maude sunt aplicații de metalimbaj,
în care Maude este folosit pentru a crea medii executabile pentru diferite logici, teoremă
doveditoare, limbaje și modele de calcul.
--Ajutor afișați informații de ajutor
--versiune
Afișează numărul versiunii
-fără preludiu
Nu citiți în preludiul standard
-fără banner
Nu scoateți banner la pornire
- fara sfaturi
Fără sfaturi la pornire
-no-mixfix
Nu utilizați notația mixfix pentru ieșire
- fără împachetare
Nu împachetați automat linia pentru ieșire
-ansi-color
Utilizați secvențe de control ANSI
-no-ansi-color
Nu utilizați secvențe de control ANSI
-tecla Utilizați editarea liniei de comandă tecla
-no-tecla
Nu utilizați editarea liniei de comandă tecla
-lot Rulați în modul lot
-interactiv
Rulați în modul interactiv
-sămânță-aleatorie=
Setați sămânța pentru generatorul de numere aleatorii
-xml-log=
Setați fișierul în care să creați un jurnal xml
DREPTURI DE AUTOR
Copyright (c) 1997-2011 SRI International, Menlo Park, CA 94025, SUA.
Drepturi de autor (c) 1997 - 2002, Makoto Matsumoto și Takuji Nishimura,
Drepturi de autor (c) 2000 - 2003, Richard J. Wagner
RAPORTAREA GANDACI
Trimiteți rapoarte de eroare la: maude-bugs@maude.cs.uiuc.edu
Utilizați Maude online folosind serviciile onworks.net