maude - Online di Awan

PROGRAM:

NAMA

Maude - Kerangka kerja logis berkinerja tinggi

RINGKASAN

warna lembayung muda [Pilihan] [arsip]

DESKRIPSI

Halaman manual ini mendokumentasikan secara singkat Maude penerjemah. Halaman manual ini ditulis
untuk distribusi Debian karena program aslinya tidak memiliki halaman manual.

Maude adalah bahasa dan sistem reflektif berkinerja tinggi yang mendukung persamaan dan
menulis ulang spesifikasi logika dan pemrograman untuk berbagai aplikasi. Maude memiliki
dipengaruhi secara penting oleh bahasa OBJ3, yang dapat dianggap sebagai
subbahasa logika persamaan. Selain mendukung spesifikasi persamaan dan pemrograman,
Maude juga mendukung penulisan ulang perhitungan logika.

Logika penulisan ulang adalah logika perubahan bersamaan yang secara alami dapat menangani keadaan dan
dengan perhitungan bersamaan. Ini memiliki sifat yang baik sebagai kerangka semantik umum untuk
memberikan semantik yang dapat dieksekusi ke berbagai bahasa dan model konkurensi. Di dalam
khususnya, ini mendukung komputasi berorientasi objek bersamaan dengan sangat baik. Alasan yang sama
membuat penulisan ulang logika kerangka semantik yang baik membuatnya juga kerangka kerja logis yang baik,
yaitu, sebuah metalogi di mana banyak logika lain dapat diwakili dan dieksekusi secara alami.

Maude mendukung secara sistematis dan efisien refleksi logis. Ini membuat Maude
sangat dapat diperluas dan kuat, mendukung aljabar komposisi modul yang dapat diperluas
operasi, dan memungkinkan banyak aplikasi metaprogramming dan metabahasa tingkat lanjut.
Memang, beberapa aplikasi yang paling menarik dari Maude adalah aplikasi bahasa meta,
di mana Maude digunakan untuk membuat lingkungan yang dapat dieksekusi untuk logika yang berbeda, teorema
Provers, bahasa, dan model komputasi.

--membantu tampilkan informasi bantuan

--Versi: kapan
Tampilkan nomor versi

-tanpa-prelude
Jangan membaca di pendahuluan standar

-tidak ada spanduk
Jangan keluarkan spanduk saat startup

-tidak ada saran
Tidak ada saran saat memulai

-tidak ada perbaikan campuran
Jangan gunakan notasi mixfix untuk output

-tanpa bungkus
Jangan pembungkus garis otomatis untuk keluaran

-ansi-warna
Gunakan urutan kontrol ANSI

-tanpa-ansi-warna
Jangan gunakan urutan kontrol ANSI

-tekla Gunakan pengeditan baris perintah tecla

-tidak ada teknologi
Jangan gunakan pengeditan baris perintah tecla

-kelompok Jalankan dalam mode batch

-interaktif
Jalankan dalam mode interaktif

-acak-biji=
Setel benih untuk pembuat nomor acak

-xml-log=
Setel file untuk menghasilkan log xml

HAK CIPTA

Hak Cipta (c) 1997-2011 SRI International, Menlo Park, CA 94025, AS.

Hak Cipta (c) 1997 - 2002, Makoto Matsumoto dan Takuji Nishimura,

Hak Cipta (c) 2000 - 2003, Richard J. Wagner

PELAPORAN BUG

Kirim laporan bug ke: maude-bugs@maude.cs.uiuc.edu

Gunakan maude online menggunakan layanan onworks.net