Ini ialah command maude yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
Maude - Rangka kerja logik berprestasi tinggi
SINOPSIS
maude [pilihan] [fail]
DESCRIPTION
Halaman manual ini mendokumentasikan secara ringkas Maude jurubahasa. Halaman manual ini telah ditulis
untuk pengedaran Debian kerana program asal tidak mempunyai halaman manual.
Maude ialah bahasa dan sistem reflektif berprestasi tinggi yang menyokong kedua-dua persamaan dan
menulis semula spesifikasi logik dan pengaturcaraan untuk pelbagai aplikasi. Maude mempunyai
telah dipengaruhi dengan cara yang penting oleh bahasa OBJ3, yang boleh dianggap sebagai
subbahasa logik persamaan. Selain menyokong spesifikasi dan pengaturcaraan persamaan,
Maude juga menyokong pengiraan logik penulisan semula.
Menulis semula logik ialah logik perubahan serentak yang secara semula jadi boleh menangani keadaan dan
dengan pengiraan serentak. Ia mempunyai sifat yang baik sebagai rangka kerja semantik umum untuk
memberikan semantik boleh laku kepada pelbagai bahasa dan model konkurensi. Dalam
khususnya, ia menyokong pengiraan berorientasikan objek serentak dengan sangat baik. Alasan yang sama
menjadikan logik penulisan semula sebagai rangka kerja semantik yang baik menjadikannya juga rangka kerja logik yang baik,
iaitu, metalogik di mana banyak logik lain boleh diwakili dan dilaksanakan secara semula jadi.
Maude menyokong refleksi logik secara sistematik dan cekap. Ini menjadikan Maude
sangat boleh dipanjangkan dan berkuasa, menyokong algebra yang boleh dipanjangkan bagi komposisi modul
operasi, dan membenarkan banyak aplikasi metaprogramming dan metalanguage lanjutan.
Malah, beberapa aplikasi yang paling menarik Maude adalah aplikasi bahasa metal,
di mana Maude digunakan untuk mencipta persekitaran boleh laku untuk logik yang berbeza, teorem
peribahasa, bahasa dan model pengiraan.
- membantu memaparkan maklumat bantuan
--versi
Paparkan nombor versi
-tiada pendahuluan
Jangan baca dalam prelude standard
-tiada-banner
Jangan keluarkan sepanduk pada permulaan
-tiada nasihat
Tiada nasihat mengenai permulaan
-tiada-campuran
Jangan gunakan tatatanda mixfix untuk output
-tiada bungkus
Jangan balut talian automatik untuk output
-ansi-warna
Gunakan urutan kawalan ANSI
-tiada-ansi-warna
Jangan gunakan urutan kawalan ANSI
-tecla Gunakan penyuntingan baris arahan tecla
-tiada-tecla
Jangan gunakan penyuntingan baris arahan tecla
-batch Jalankan dalam mod kelompok
-interaktif
Jalankan dalam mod interaktif
-biji-rawak=
Tetapkan benih untuk penjana nombor rawak
-xml-log=
Tetapkan fail untuk menghasilkan log xml
HAKCIPTA
Hak Cipta (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA.
Hak Cipta (c) 1997 - 2002, Makoto Matsumoto dan Takuji Nishimura,
Hak Cipta (c) 2000 - 2003, Richard J. Wagner
PELAPORAN BUANG
Hantar laporan pepijat kepada: [e-mel dilindungi]
Gunakan maude dalam talian menggunakan perkhidmatan onworks.net