EnglezăFrancezăSpaniolă

Ad


Favicon OnWorks

maude - Online in the Cloud

Rulați maude în furnizorul de găzduire gratuit OnWorks prin Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS

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: [e-mail protejat]

Utilizați Maude online folosind serviciile onworks.net


Servere și stații de lucru gratuite

Descărcați aplicații Windows și Linux

  • 1
    DivFix ++
    DivFix ++
    DivFix++ este reparația dvs. video AVI și
    software de previzualizare. Este conceput pentru reparații
    și previzualizați fișierele care sunt în descărcare
    de la ed2k(emule), torrent, gnutella, ftp...
    Descărcați DivFix++
  • 2
    Comunitatea JBoss
    Comunitatea JBoss
    Proiecte conduse de comunitate care prezintă
    ultimele inovații pentru vârf
    aplicații. Proiectul nostru emblematic JBoss AS este
    liderul Open Source,
    conform standardelor...
    Descărcați JBoss Community
  • 3
    Django Filer
    Django Filer
    django Filer este un management de fișiere
    aplicație pentru django care face
    gestionarea fișierelor și imaginilor cu ușurință.
    django-filer este un management de fișiere
    aplicație pentru djang...
    Descărcați Django Filer
  • 4
    xCAT
    xCAT
    Setul de instrumente Extreme Cluster Administration.
    xCAT este un management de cluster scalabil
    și instrument de furnizare care oferă
    control hardware, descoperire și sistem de operare
    discful/di...
    Descărcați xCAT
  • 5
    Psi
    Psi
    Psi este XMPP puternic multiplatformă
    client conceput pentru utilizatori experimentați.
    Există versiuni disponibile pentru MS
    Windows, GNU/Linux și macOS.. Public:
    Utilizatori finali...
    Descărcați Psi
  • 6
    Volei Blobby 2
    Volei Blobby 2
    Continuarea oficială a celebrului
    Jocul arcade Blobby Volley 1.x...
    Public: utilizatori finali/desktop. Utilizator
    interfață: OpenGL, SDL. Programare
    Limbaj: C++, Lua. C...
    Descărcați Blobby Volley 2
  • Mai mult »

Comenzi Linux

Ad