Aceasta este comanda cafeobj care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
cafeobj - specificație algebrică și limbaj de programare
REZUMAT
cafeobj [OPȚIUNE]... [DOSARE] ...
DESCRIERE
Începe CafeOBJ interpret.
CafeOBJ este cel mai avansat limbaj de specificare formală care moștenește multe avansate
caracteristici (de exemplu, sintaxă flexibilă mix-fix, sistem de tastare puternic și clar cu ordonat
sortări, module parametrice și vederi pentru instanțierea parametrilor și modul
expresii etc.) din limbajul de specificare algebrică OBJ (sau mai exact OBJ3).
CafeOBJ este un limbaj pentru scrierea specificațiilor formale (adică matematice) ale modelelor pentru
largi varietati de software și sisteme și verificarea proprietăților acestora. CafeOBJ
implementează logica ecuațională prin rescriere și poate fi folosită ca o teoremă interactivă puternică
sistem de probă. Specificatorii pot scrie scoruri pentru dovezi și în CafeOBJ și pot face dovezi prin
executarea punctajelor de probă.
CafeOBJ are o semantică logică riguroasă de ultimă oră, bazată pe instituții. CafeOBJ
cubul arată structura diferitelor logici care stau la baza combinației diferitelor
paradigme implementate de limbaj. Scorurile probelor din CafeOBJ se bazează și pe
semantică riguroasă bazată pe instituție și poate fi construită folosind un set complet de dovezi
reguli.
OPŢIUNI
Există două clase de opțiuni. Primele sunt opțiunile pentru cafeobj wrap script
care permite selectarea interpretului Common Lisp de bază și ajustarea căii de căutare
parametri.
-motor NUME
selectează motorul de lisp comun subiacent. Dacă nu este dat, primul este selectat
în timpul construcției este utilizat.
-motoare-liste
listează toate motoarele lisp comune disponibile
-wrapper-libpath PATH
setează calea în care sunt găsite depozitele de memorie ale interpreților lisp
-wrapper-sharepath PATH
setează calea în care sunt căutate fișierele de inițializare CafeOBJ
Următoarele opțiuni sunt direcționate direct către interpretul CafeOBJ:
-Ajutor imprimați un mesaj de ajutor
-q nu încărcați fișierul de inițializare al utilizatorului
-lot rulează în modul batch
-p PATH
oferă modulele standard de definire a fișierului preludiu
+p PATH
încărcați fișierul preludiu suplimentar
-l DIR-LIST
setați lista de căi pentru calea de căutare a modulelor, separate prin două puncte
+l DIR-LIST
adaugă o listă de nume de cale pentru calea de căutare a modulelor
DOSARE fișierele care sunt încărcate în ordine la momentul pornirii.
Utilizați cafeobj online folosind serviciile onworks.net