Ini ialah arahan cafeobj 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
cafeobj - spesifikasi algebra dan bahasa pengaturcaraan
SINOPSIS
cafeobj [OPTION]... [FILES]...
DESCRIPTION
Memulakan CafeOBJ jurubahasa.
CafeOBJ ialah bahasa spesifikasi formal yang paling maju yang mewarisi banyak bahasa lanjutan
ciri (cth sintaks pembetulan campuran yang fleksibel, sistem penaipan yang kuat dan jelas dengan tertib
jenis, modul parameter dan pandangan untuk membuat instantiating parameter, dan modul
ungkapan, dsb.) daripada bahasa spesifikasi algebra OBJ (atau lebih tepat OBJ3).
CafeOBJ ialah bahasa untuk menulis spesifikasi formal (iaitu matematik) model untuk
pelbagai jenis perisian dan sistem, dan mengesahkan sifatnya. CafeOBJ
melaksanakan logik persamaan dengan menulis semula dan boleh digunakan sebagai teorem interaktif yang berkuasa
sistem pembuktian. Penentu boleh menulis skor bukti juga dalam CafeOBJ dan melakukan pembuktian oleh
melaksanakan markah bukti.
CafeOBJ mempunyai semantik logik yang ketat terkini berdasarkan institusi. KafeOBJ
kubus menunjukkan struktur pelbagai logik yang mendasari gabungan pelbagai
paradigma yang dilaksanakan oleh bahasa. Markah bukti dalam CafeOBJ juga berdasarkan
institusi berasaskan semantik ketat, dan boleh dibina menggunakan satu set lengkap bukti
peraturan.
PILIHAN
Terdapat dua kelas pilihan. Yang pertama ialah pilihan untuk cafeobj skrip pembalut
yang membolehkan untuk memilih penterjemah Common Lisp yang mendasari, dan untuk melaraskan laluan carian
parameter.
-enjin NAMA
memilih enjin lisp biasa yang mendasari. Jika tidak diberi, yang pertama dipilih
semasa masa bina digunakan.
-senarai-enjin
menyenaraikan semua enjin lisp biasa yang ada
-pembungkus-libpath PATH
menetapkan laluan tempat pembuangan memori penterjemah lisp ditemui
-pembungkus-sharepath PATH
menetapkan laluan di mana fail permulaan CafeOBJ dicari
Set pilihan berikut ditujukan kepada jurubahasa CafeOBJ secara langsung:
-membantu mencetak mesej bantuan
-q jangan muatkan fail permulaan pengguna
-batch dijalankan dalam mod kelompok
-p PATH
memberikan modul penentu fail prelude standard
+p PATH
muatkan fail pendahuluan tambahan
-l DIR-SENARAI
tetapkan senarai nama laluan untuk laluan carian modul, dipisahkan oleh titik bertindih
+l DIR-SENARAI
menambah senarai nama laluan untuk laluan carian modul
FILES fail yang dimuatkan pada masa permulaan mengikut urutan.
Gunakan cafeobj dalam talian menggunakan perkhidmatan onworks.net