Ito ang command maude na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
Maude - Isang lohikal na framework na may mataas na pagganap
SINOPSIS
maude [pagpipilian] [file]
DESCRIPTION
Ang manu-manong pahinang ito ay nagdodokumento ng maikling Maude interpreter. Ang manu-manong pahinang ito ay isinulat
para sa pamamahagi ng Debian dahil ang orihinal na programa ay walang manu-manong pahina.
Maude ay isang high-performance reflective language at system na sumusuporta sa parehong equational at
muling pagsusulat ng logic specification at programming para sa malawak na hanay ng mga application. Maude ay
naiimpluwensyahan sa mahahalagang paraan ng wikang OBJ3, na maaaring ituring bilang isang
equational logic sublanguage. Bukod sa pagsuporta sa equational specification at programming,
Maude Sinusuportahan din ang muling pagsulat ng logic computation.
Ang muling pagsulat ng lohika ay isang lohika ng kasabay na pagbabago na maaaring natural na makitungo sa estado at
na may kasabay na pagkalkula. Ito ay may magagandang katangian bilang pangkalahatang semantikong balangkas para sa
pagbibigay ng executable semantics sa malawak na hanay ng mga wika at modelo ng concurrency. Sa
partikular, ito ay sumusuporta sa napakahusay na concurrent object-oriented computation. Ang parehong mga dahilan
paggawa ng muling pagsulat ng lohika bilang isang mahusay na semantic framework gawin din itong isang mahusay na lohikal na balangkas,
ibig sabihin, isang metalogic kung saan maraming iba pang lohika ang maaaring natural na kinakatawan at maisakatuparan.
Maude sumusuporta sa isang sistematiko at mahusay na paraan lohikal na pagmuni-muni. Ginagawa nitong Maude
kapansin-pansing napapalawak at makapangyarihan, ay sumusuporta sa isang extensible na algebra ng komposisyon ng module
pagpapatakbo, at nagbibigay-daan sa maraming advanced na metaprogramming at metalanguage application.
Sa katunayan, ang ilan sa mga pinaka-kagiliw-giliw na mga aplikasyon ng Maude ay mga aplikasyon ng metalanguage,
kung saan Maude ay ginagamit upang lumikha ng mga executable na kapaligiran para sa iba't ibang logics, theorem
prover, wika, at modelo ng pagtutuos.
- Tumulong ipakita ang impormasyon ng tulong
--bersyon
Ipakita ang numero ng bersyon
-no-prelude
Huwag basahin sa karaniwang prelude
-walang-banner
Huwag mag-output ng banner sa pagsisimula
-walang payo
Walang mga payo sa pagsisimula
-walang-mixfix
Huwag gumamit ng mixfix notation para sa output
-walang balot
Huwag awtomatikong pambalot ng linya para sa output
-ansi-kulay
Gumamit ng ANSI control sequence
-walang-ansi-kulay
Huwag gumamit ng ANSI control sequence
-tecla Gamitin ang pag-edit ng command line ng tecla
-walang-tecla
Huwag gumamit ng tecla command line editing
-batch Patakbuhin sa batch mode
-interactive
Patakbuhin sa interactive na mode
-random-seed=
Itakda ang binhi para sa random na generator ng numero
-xml-log=
Itakda ang file kung saan gagawa ng xml log
COPYRIGHT
Copyright (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA.
Copyright (c) 1997 - 2002, Makoto Matsumoto at Takuji Nishimura,
Copyright (c) 2000 - 2003, Richard J. Wagner
Pag-uulat TUMBOK
Magpadala ng mga ulat ng bug sa: [protektado ng email]
Gumamit ng maude online gamit ang mga serbisyo ng onworks.net
