Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen cafeobj komutudur.
Program:
ADI
cafeobj - cebirsel belirtim ve programlama dili
SİNOPSİS
kafeobj [SEÇENEK] ... [DOSYALAR] ...
TANIM
başlatır KafeOBJ tercüman.
KafeOBJ birçok gelişmiş dili miras alan en gelişmiş biçimsel belirtim dilidir.
özellikler (örneğin, esnek karışık düzeltme sözdizimi, sıralı olarak güçlü ve net yazma sistemi
parametreleri somutlaştırmak için sıralar, parametreli modüller ve görünümler ve modül
OBJ'den (veya daha doğrusu OBJ3) cebirsel belirtim dilinden ifadeler, vb.)
CafeOBJ, modellerin biçimsel (yani matematiksel) özelliklerini yazmak için bir dildir.
çok çeşitli yazılım ve sistemler ve bunların özelliklerinin doğrulanması. KafeOBJ
yeniden yazarak denklem mantığını uygular ve güçlü bir etkileşimli teorem olarak kullanılabilir
kanıtlama sistemi Belirleyiciler, CafeOBJ'de de kanıt puanları yazabilir ve
kanıt puanlarının yürütülmesi.
CafeOBJ, kurumlara dayalı son teknoloji titiz mantıksal semantiklere sahiptir. KafeOBJ
küp, çeşitli kombinasyonların altında yatan çeşitli mantıkların yapısını gösterir.
dil tarafından uygulanan paradigmalar. CafeOBJ'deki kanıt puanları da
kurum bazlı titiz anlambilim ve eksiksiz bir ispat seti kullanılarak oluşturulabilir
kuralları.
SEÇENEKLER
İki sınıf seçenek vardır. Bunlardan ilki, seçenekler kafeobj sarmalayıcı komut dosyası
Bu, temeldeki Common Lisp yorumlayıcısını seçmeye ve arama yolunu ayarlamaya izin verir.
parametreleri.
-motor ADI
temel alınan ortak lisp motorunu seçer. Verilmezse, ilk seçilen
yapım süresi sırasında kullanılır.
-liste-motorları
mevcut tüm yaygın lisp motorlarını listeler
-sarmalayıcı-libpath PATH
lisp yorumlayıcılarının bellek dökümlerinin bulunduğu yolu ayarlar
-sarmalayıcı-sharepath PATH
CafeOBJ başlatma dosyalarının aranacağı yolu ayarlar
Aşağıdaki seçenekler grubu doğrudan CafeOBJ yorumlayıcısına yönlendirilir:
-Yardım bir yardım mesajı yazdır
-q kullanıcının başlatma dosyasını yüklemeyin
-grup toplu modda çalıştır
-p PATH
standart başlangıç dosyası tanımlama modüllerini verir
+p PATH
ek başlangıç dosyası yükle
-l DİZİN LİSTESİ
modül arama yolu için iki nokta üst üste ile ayrılmış yol adlarının listesini ayarla
+l DİZİN LİSTESİ
modül arama yolu için bir yol adı listesi ekler
DOSYALAR sırayla başlatma sırasında yüklenen dosyalar.
onworks.net hizmetlerini kullanarak cafeobj'u çevrimiçi kullanın