Ito ang command cafeobj na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
cafeobj - algebraic na detalye at programming language
SINOPSIS
cafeobj [OPTION]... [MGA FILE] ...
DESCRIPTION
Nagsisimula ang CafeOBJ interpreter.
CafeOBJ ay isang pinaka-advanced na pormal na detalye ng wika na nagmamana ng maraming advanced
mga feature (hal. flexible mix-fix syntax, malakas at malinaw na sistema ng pag-type na may ordered
sorts, parameteric module at view para sa instantiating ng mga parameter, at module
expression, atbp.) mula sa OBJ (o mas eksaktong OBJ3) algebraic specification language.
Ang CafeOBJ ay isang wika para sa pagsusulat ng pormal (ibig sabihin, mathematical) na mga detalye ng mga modelo para sa
malawak na uri ng software at system, at pag-verify ng mga katangian ng mga ito. CafeOBJ
nagpapatupad ng equational logic sa pamamagitan ng muling pagsulat at maaaring magamit bilang isang makapangyarihang interactive na theorem
sistemang nagpapatunay. Ang mga specifier ay maaaring magsulat ng mga patunay na marka din sa CafeOBJ at paggawa ng mga patunay sa pamamagitan ng
pagsasagawa ng mga marka ng patunay.
Ang CafeOBJ ay may state-of-art na mahigpit na lohikal na semantika batay sa mga institusyon. Ang CafeOBJ
cube ay nagpapakita ng istraktura ng iba't ibang lohika na pinagbabatayan ng kumbinasyon ng iba't-ibang
paradigms na ipinatupad ng wika. Ang mga marka ng patunay sa CafeOBJ ay nakabatay din sa
institusyon batay sa mahigpit na semantika, at maaaring itayo gamit ang isang kumpletong hanay ng patunay
panuntunan.
Opsyon
Mayroong dalawang klase ng mga pagpipilian. Ang una ay mga pagpipilian para sa cafeobj wrapper script
na nagbibigay-daan upang piliin ang pinagbabatayan na Common Lisp interpreter, at ayusin ang landas ng paghahanap
parameter.
-makina NAME
pinipili ang pinagbabatayan na karaniwang lisp engine. Kung hindi ibinigay, pipiliin ang una
sa panahon ng pagtatayo ay ginagamit.
-list-engines
naglilista ng lahat ng magagamit na karaniwang lisp engine
-wrapper-libpath PATH
nagtatakda ng landas kung saan matatagpuan ang mga memory dump ng mga lisp interpreter
-wrapper-sharepath PATH
itinatakda ang landas kung saan hinahanap ang mga file ng pagsisimula ng CafeOBJ
Ang sumusunod na hanay ng mga opsyon ay direktang nakadirekta sa interpreter ng CafeOBJ:
-tulong mag-print ng mensahe ng tulong
-q huwag i-load ang initialization file ng user
-batch tumakbo sa batch mode
-p PATH
nagbibigay ng karaniwang prelude file defining modules
+p PATH
mag-load ng karagdagang prelude file
-l DIR-LIST
itakda ang listahan ng mga pathname para sa path ng paghahanap ng module, na pinaghihiwalay ng mga colon
+l DIR-LIST
nagdaragdag ng listahan ng pathname para sa path ng paghahanap ng module
MGA FILE mga file na na-load sa oras ng pagsisimula sa pagkakasunud-sunod.
Gamitin ang cafeobj online gamit ang mga serbisyo ng onworks.net