Ini adalah perintah cafeobj yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
cafeobj - spesifikasi aljabar dan bahasa pemrograman
RINGKASAN
kafeobj [PILIHAN]...[FILE] ...
DESKRIPSI
Mulai KafeOBJ penerjemah.
KafeOBJ adalah bahasa spesifikasi formal paling canggih yang mewarisi banyak bahasa lanjutan
fitur (misalnya sintaks mix-fix yang fleksibel, sistem pengetikan yang kuat dan jelas dengan perintah
macam, modul parameter dan tampilan untuk membuat instance parameter, dan modul
ekspresi, dll.) dari bahasa spesifikasi aljabar OBJ (atau lebih tepatnya OBJ3).
CafeOBJ adalah bahasa untuk menulis spesifikasi model formal (yaitu matematika) untuk
berbagai macam perangkat lunak dan sistem, dan memverifikasi propertinya. KafeOBJ
mengimplementasikan logika persamaan dengan menulis ulang dan dapat digunakan sebagai teorema interaktif yang kuat
sistem pembuktian. Penentu dapat menulis skor bukti juga di CafeOBJ dan melakukan pembuktian dengan
mengeksekusi skor bukti.
CafeOBJ memiliki semantik logis yang ketat berdasarkan institusi. KafeOBJ
kubus menunjukkan struktur berbagai logika yang mendasari kombinasi berbagai
paradigma yang diterapkan oleh bahasa. Skor bukti di CafeOBJ juga didasarkan pada
semantik ketat berbasis institusi, dan dapat dibangun menggunakan satu set bukti yang lengkap
aturan.
PILIHAN
Ada dua kelas pilihan. Yang pertama adalah opsi untuk kafeobj skrip pembungkus
yang memungkinkan untuk memilih penerjemah Common Lisp yang mendasarinya, dan untuk menyesuaikan jalur pencarian
parameter.
-mesin NAMA
memilih mesin cadel umum yang mendasarinya. Jika tidak diberikan, yang pertama dipilih
selama waktu pembuatan digunakan.
-daftar-mesin
daftar semua mesin cadel umum yang tersedia
-wrapper-libpath PATH
menetapkan jalur di mana memori dump dari penerjemah cadel ditemukan
-wrapper-jalur berbagi PATH
mengatur jalur di mana file inisialisasi CafeOBJ dicari
Kumpulan opsi berikut diarahkan langsung ke juru bahasa CafeOBJ:
-bantu cetak pesan bantuan
-q jangan memuat file inisialisasi pengguna
-kelompok berjalan dalam mode batch
-p PATH
memberikan modul pendefinisian file pendahuluan standar
+p PATH
memuat file pendahuluan tambahan
-l DAFTAR-DIRI
atur daftar nama path untuk jalur pencarian modul, dipisahkan oleh titik dua
+l DAFTAR-DIRI
menambahkan daftar nama jalur untuk jalur pencarian modul
FILE file yang dimuat pada saat startup secara berurutan.
Gunakan cafeobj online menggunakan layanan onworks.net