Questo è il comando maude che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
Maude - Un framework logico ad alte prestazioni
SINOSSI
maude [Opzioni] [file]
DESCRIZIONE
Questa pagina di manuale documenta brevemente il Maude interprete. Questa pagina di manuale è stata scritta
per la distribuzione Debian perché il programma originale non ha una pagina di manuale.
Maude è un linguaggio e un sistema riflessivo ad alte prestazioni che supporta sia l'equazione e
riscrittura delle specifiche logiche e programmazione per un'ampia gamma di applicazioni. Maude ha
stato influenzato in modo importante dal linguaggio OBJ3, che può essere considerato come un
sottolinguaggio logico equazionale. Oltre a supportare la specificazione e la programmazione equazionali,
Maude supporta anche la riscrittura del calcolo della logica.
La riscrittura della logica è una logica di cambiamento simultaneo che può naturalmente affrontare lo stato e
con calcoli simultanei. Ha buone proprietà come quadro semantico generale per
dare semantica eseguibile a un'ampia gamma di linguaggi e modelli di concorrenza. In
in particolare, supporta molto bene il calcolo simultaneo orientato agli oggetti. Le stesse ragioni
rendere la logica di riscrittura un buon quadro semantico renderlo anche un buon quadro logico,
cioè una metalogica in cui molte altre logiche possono essere naturalmente rappresentate ed eseguite.
Maude supporta in modo sistematico ed efficiente la riflessione logica. Questo fa Maude
notevolmente estensibile e potente, supporta un'algebra estensibile di composizione dei moduli
operazioni e consente molte applicazioni avanzate di metaprogrammazione e metalinguaggio.
Infatti, alcune delle applicazioni più interessanti di Maude sono applicazioni di metalinguaggio,
in quale Maude viene utilizzato per creare ambienti eseguibili per logiche diverse, teorema
prover, linguaggi e modelli di calcolo.
--Aiuto visualizzare le informazioni di aiuto
--versione
Visualizza il numero di versione
-no-preludio
Non leggere nel preludio standard
-nessun banner
Non emettere banner all'avvio
-nessun-consiglio
Nessun avviso all'avvio
-no-mixfix
Non usare la notazione mixfix per l'output
-senza involucro
Non eseguire l'avvolgimento automatico della linea per l'output
-ansi-colore
Usa sequenze di controllo ANSI
-no-ansi-colore
Non utilizzare sequenze di controllo ANSI
-tecla Usa la modifica della riga di comando tecla
-no-tecla
Non utilizzare la modifica della riga di comando tecla
-lotto Esegui in modalità batch
-interattivo
Esegui in modalità interattiva
-seme-casuale=
Imposta il seme per il generatore di numeri casuali
-xml-log=
Imposta il file in cui produrre un log xml
COPYRIGHT
Copyright (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA.
Copyright (c) 1997 - 2002, Makoto Matsumoto e Takuji Nishimura,
Copyright (c) 2000 - 2003, Richard J. Wagner
REPORTING BUG
Invia segnalazioni di bug a: maude-bugs@maude.cs.uiuc.edu
Usa maude online utilizzando i servizi onworks.net