EngelsFransDuitsItaliaansPortugeesRussianSpaans

OnWorks-favicon

maude - Online in de cloud

Voer maude uit in de gratis hostingprovider van OnWorks via Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator

Dit is het commando maude dat kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator

PROGRAMMA:

NAAM


Maude - Een krachtig logisch raamwerk

KORTE INHOUD


maude [opties] [bestanden]

BESCHRIJVING


Deze handleiding documenteert in het kort de: Maude tolk. Deze handleiding is geschreven
voor de Debian-distributie omdat het originele programma geen man-pagina heeft.

Maude is een krachtige reflecterende taal en systeem die zowel vergelijkings- als
herschrijven van logische specificatie en programmering voor een breed scala aan toepassingen. Maude heeft
op belangrijke manieren beïnvloed door de OBJ3-taal, die kan worden beschouwd als een
vergelijkingslogica subtaal. Naast het ondersteunen van vergelijkingsspecificatie en programmering,
Maude ondersteunt ook het herschrijven van logische berekeningen.

Herschrijflogica is een logica van gelijktijdige verandering die van nature kan omgaan met toestand en
met gelijktijdige berekeningen. Het heeft goede eigenschappen als algemeen semantisch raamwerk voor
het geven van uitvoerbare semantiek aan een breed scala aan talen en modellen van gelijktijdigheid. In
in het bijzonder ondersteunt het zeer goed gelijktijdige objectgeoriënteerde berekening. Dezelfde redenen
het herschrijven van logica een goed semantisch raamwerk maken, het ook een goed logisch raamwerk maken,
dat wil zeggen, een metalogica waarin vele andere logica's op natuurlijke wijze kunnen worden weergegeven en uitgevoerd.

Maude ondersteunt op een systematische en efficiënte manier logische reflectie. Dit maakt Maude
opmerkelijk uitbreidbaar en krachtig, ondersteunt een uitbreidbare algebra van modulesamenstelling
bewerkingen, en maakt veel geavanceerde toepassingen voor metaprogrammering en metataal mogelijk.
Inderdaad, enkele van de meest interessante toepassingen van Maude zijn metataaltoepassingen,
waarin Maude wordt gebruikt om uitvoerbare omgevingen te creëren voor verschillende logica's, stelling
bewijzers, talen en rekenmodellen.

--help help informatie weergeven

--versie
Versienummer weergeven

-geen prelude
Lees niet in de standaard prelude

-geen-banner
Geen banner weergeven bij opstarten

-geen-advies
Geen adviezen bij opstarten

-geen-mixfix
Gebruik geen mixfix-notatie voor uitvoer

-no-wrap
Automatische regelterugloop voor uitvoer niet

-ansi-kleur
Gebruik ANSI-controlereeksen

-geen-ansi-kleur
Gebruik geen ANSI-controlereeksen

-tecla Gebruik tecla-opdrachtregelbewerking

-geen-tecla
Gebruik geen tecla-opdrachtregelbewerking

-partij Uitvoeren in batchmodus

-interactief
Uitvoeren in interactieve modus

-willekeurig-zaad=
Set seed voor generator voor willekeurige getallen

-xml-log=
Bestand instellen waarin een xml-log moet worden gemaakt

COPYRIGHT


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

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

Copyright (c) 2000 - 2003, Richard J. Wagner

RAPPORTAGE BUGS


Stuur bugrapporten naar: maude-bugs@maude.cs.uiuc.edu

Maude online gebruiken met onworks.net-services


Ad


Ad

Nieuwste Linux & Windows online programma's