maude - Online na nuvem

PROGRAMA:

NOME

Maude - Uma estrutura lógica de alto desempenho

SINOPSE

maude [opções] [arquivos]

DESCRIÇÃO

Esta página de manual documenta resumidamente o Maude intérprete. Esta página de manual foi escrita
para a distribuição Debian porque o programa original não possui uma página de manual.

Maude é uma linguagem e sistema reflexivo de alto desempenho que suporta equações e
reescrever especificações lógicas e programação para uma ampla gama de aplicações. Maude tem
foi influenciado de maneiras importantes pela linguagem OBJ3, que pode ser considerada como um
sublinguagem lógica equacional. Além de oferecer suporte a especificação e programação de equações,
Maude também suporta reescrever computação lógica.

A lógica de reescrita é uma lógica de mudança simultânea que pode lidar naturalmente com o estado e
com cálculos simultâneos. Tem boas propriedades como uma estrutura semântica geral para
dando semântica executável a uma ampla gama de linguagens e modelos de simultaneidade. No
em particular, ele suporta computação orientada a objetos concorrente. Os mesmos motivos
tornar a lógica de reescrita uma boa estrutura semântica torna-a também uma boa estrutura lógica,
isto é, uma metalógica na qual muitas outras lógicas podem ser naturalmente representadas e executadas.

Maude apóia de forma sistemática e eficiente a reflexão lógica. Isto faz Maude
notavelmente extensível e poderoso, suporta uma álgebra extensível de composição de módulo
operações e permite muitas aplicações avançadas de metaprogramação e metalinguagem.
Na verdade, algumas das aplicações mais interessantes de Maude são aplicações de metalinguagem,
em que Maude é usado para criar ambientes executáveis ​​para diferentes lógicas, teoremas
provadores, linguagens e modelos de computação.

--Socorro exibir informações de ajuda

--versão
Número da versão de exibição

-não-prelúdio
Não leia no prelúdio padrão

-sem banner
Não gerar banner na inicialização

-sem conselho
Sem avisos na inicialização

-sem mixfix
Não use notação mixfix para saída

-não embrulhar
Não quebra automática de linha para saída

-ansi-cor
Use sequências de controle ANSI

-sem cor ansi
Não use sequências de controle ANSI

-tecla Use a edição de linha de comando de tecla

-no-tecla
Não use a edição de linha de comando tecla

-lote Executar em lote

-interativo
Executar em modo interativo

-random-seed =
Definir semente para gerador de número aleatório

-xml-log =
Definir arquivo no qual produzir um log xml

DIREITOS AUTORAIS

Copyright (c) 1997-2011 SRI International, Menlo Park, CA 94025, EUA.

Copyright (c) 1997 - 2002, Makoto Matsumoto e Takuji Nishimura,

Direitos autorais (c) 2000 - 2003, Richard J. Wagner

RELATÓRIOS INSETOS

Envie relatórios de bug para: [email protegido]

Use maude online usando serviços onworks.net