ນີ້ແມ່ນຄໍາສັ່ງ maude ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
Maude - ກອບຢ່າງມີເຫດຜົນທີ່ມີປະສິດທິພາບສູງ
ສະຫຼຸບສັງລວມ
ມອດ [ທາງເລືອກໃນການ] [ໄຟ]
ລາຍລະອຽດ
ຫນ້າຄູ່ມືນີ້ເອກະສານສັ້ນໆກ່ຽວກັບ Maude ນາຍພາສາ. ຫນ້າຄູ່ມືນີ້ຖືກຂຽນ
ສໍາລັບການແຈກຢາຍ Debian ເນື່ອງຈາກວ່າໂຄງການຕົ້ນສະບັບບໍ່ມີຫນ້າຄູ່ມື.
Maude ເປັນພາສາສະທ້ອນໃຫ້ເຫັນປະສິດທິພາບສູງແລະລະບົບສະຫນັບສະຫນູນທັງສອງສົມຜົນແລະ
rewriting logic specification ແລະ programming ສໍາລັບລະດັບຄວາມກ້ວາງຂອງຄໍາຮ້ອງສະຫມັກ. Maude ມີ
ໄດ້ຮັບອິດທິພົນໃນລັກສະນະທີ່ສໍາຄັນໂດຍພາສາ OBJ3, ເຊິ່ງສາມາດຖືວ່າເປັນ
ພາສາຍ່ອຍຕາມເຫດຜົນສົມຜົນ. ນອກຈາກສະຫນັບສະຫນູນສະເພາະສົມຜົນແລະໂຄງການ,
Maude ຍັງສະຫນັບສະຫນູນການຂຽນຄືນໃຫມ່ການຄິດໄລ່ຕາມເຫດຜົນ.
ເຫດຜົນການຂຽນຄືນໃຫມ່ແມ່ນເຫດຜົນຂອງການປ່ຽນແປງພ້ອມໆກັນເຊິ່ງທໍາມະຊາດສາມາດຈັດການກັບລັດແລະ
ດ້ວຍການຄິດໄລ່ພ້ອມກັນ. ມັນມີຄຸນສົມບັດທີ່ດີເປັນກອບ semantic ທົ່ວໄປສໍາລັບ
ການໃຫ້ຄຳສັບທີ່ປະຕິບັດໄດ້ກັບພາສາທີ່ຫຼາກຫຼາຍ ແລະຮູບແບບຂອງຄວາມສອດຄ່ອງກັນ. ໃນ
ໂດຍສະເພາະ, ມັນສະຫນັບສະຫນູນການຄິດໄລ່ວັດຖຸທີ່ສອດຄ້ອງກັນໄດ້ດີຫຼາຍ. ເຫດຜົນດຽວກັນ
ການສ້າງເຫດຜົນການຂຽນຄືນໃຫມ່ເປັນກອບ semantic ທີ່ດີເຮັດໃຫ້ມັນເປັນກອບເຫດຜົນທີ່ດີ,
ນັ້ນແມ່ນ, ໂລຫະທີ່ເຫດຜົນອື່ນໆສາມາດເປັນຕົວແທນແລະປະຕິບັດໄດ້ຕາມທໍາມະຊາດ.
Maude ສະຫນັບສະຫນູນໃນລະບົບແລະປະສິດທິພາບການສະທ້ອນຢ່າງມີເຫດຜົນ. ນີ້ເຮັດໃຫ້ Maude
ຂະຫຍາຍໄດ້ຢ່າງໂດດເດັ່ນ ແລະມີປະສິດທິພາບ, ຮອງຮັບການຂະຫຍາຍອັນພິນິດຂອງອົງປະກອບຂອງໂມດູນ
ການດໍາເນີນງານ, ແລະອະນຸຍາດໃຫ້ຄໍາຮ້ອງສະຫມັກ metaprogramming ກ້າວຫນ້າທາງດ້ານຫຼາຍແລະໂລຫະ.
ແທ້ຈິງແລ້ວ, ບາງຄໍາຮ້ອງສະຫມັກທີ່ຫນ້າສົນໃຈຫຼາຍທີ່ສຸດຂອງ Maude ແມ່ນຄໍາຮ້ອງສະຫມັກໂລຫະ,
ໃນນັ້ນ Maude ຖືກນໍາໃຊ້ເພື່ອສ້າງສະພາບແວດລ້ອມທີ່ປະຕິບັດໄດ້ສໍາລັບເຫດຜົນທີ່ແຕກຕ່າງກັນ, ທິດສະດີ
provers, ພາສາ, ແລະຕົວແບບຂອງການຄິດໄລ່.
- ຊ່ວຍ ສະແດງຂໍ້ມູນການຊ່ວຍເຫຼືອ
- ການປ່ຽນແປງ
ສະແດງໝາຍເລກລຸ້ນ
- ບໍ່ມີ prelude
ຢ່າອ່ານໃນ prelude ມາດຕະຖານ
- ບໍ່ມີປ້າຍໂຄສະນາ
ຢ່າສົ່ງອອກປ້າຍໂຄສະນາໃນເວລາເລີ່ມຕົ້ນ
- ບໍ່ມີຄໍາແນະນໍາ
ບໍ່ມີຄໍາແນະນໍາກ່ຽວກັບການເລີ່ມຕົ້ນ
-no-mixix
ຢ່າໃຊ້ mixfix notation ສໍາລັບຜົນຜະລິດ
- ບໍ່ມີຫໍ່
ຢ່າຫໍ່ເສັ້ນອັດຕະໂນມັດເພື່ອຜົນຜະລິດ
-ansi ສີ
ໃຊ້ລໍາດັບການຄວບຄຸມ ANSI
-no-ansi-ສີ
ຢ່າໃຊ້ລໍາດັບການຄວບຄຸມ ANSI
-tecla ໃຊ້ການແກ້ໄຂບັນທັດຄໍາສັ່ງ tecla
-no-tecla
ຢ່າໃຊ້ການແກ້ໄຂເສັ້ນຄໍາສັ່ງ tecla
- ຊຸດ ດໍາເນີນການໃນຮູບແບບ batch
- ໂຕ້ຕອບ
ດໍາເນີນການໃນຮູບແບບການໂຕ້ຕອບ
-random-seed=
ກໍານົດແນວພັນສໍາລັບການຜະລິດຈໍານວນ Random
-xml-log=
ກໍານົດໄຟລ໌ທີ່ຈະຜະລິດບັນທຶກ xml
COPYRIGHT
ລິຂະສິດ (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA.
ລິຂະສິດ (c) 1997 - 2002, Makoto Matsumoto ແລະ Takuji Nishimura,
ລິຂະສິດ (c) 2000 - 2003, Richard J. Wagner
ການລາຍງານ ບັກ
ສົ່ງລາຍງານຂໍ້ຜິດພາດໄປຫາ: maude-bugs@maude.cs.uiuc.edu
ໃຊ້ maude ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net