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]
PRODUCTBESCHRIJVING
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
-geen-omslag
Automatische regelterugloop voor uitvoer niet
-ansi-kleur
Gebruik ANSI-controlereeksen
-geen-ansi-kleur
Gebruik geen ANSI-controlereeksen
-tekla 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,
Auteursrecht (c) 2000 - 2003, Richard J. Wagner
RAPPORTAGE BUGS
Stuur bugrapporten naar: [e-mail beveiligd]
Maude online gebruiken met onworks.net-services