यह कमांड कैफ़ेओबीजे है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे कि उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
कैफ़ेओबीजे - बीजगणितीय विशिष्टता और प्रोग्रामिंग भाषा
SYNOPSIS
कैफ़ेओबीजे [विकल्प]...[फ़ाइलें] ...
वर्णन
शुरू करता है कैफ़ेओबीजे दुभाषिया।
कैफ़ेओबीजे एक सर्वाधिक उन्नत औपचारिक विशिष्टता भाषा है जो कई उन्नत विरासत में प्राप्त करती है
सुविधाएँ (उदाहरण के लिए लचीला मिक्स-फ़िक्स सिंटैक्स, ऑर्डर के साथ शक्तिशाली और स्पष्ट टाइपिंग सिस्टम
पैरामीटर और मॉड्यूल को इंस्टेंट करने के लिए प्रकार, पैरामीटर मॉड्यूल और दृश्य
अभिव्यक्ति, आदि) OBJ (या अधिक सटीक रूप से OBJ3) बीजगणितीय विनिर्देश भाषा से।
CafeOBJ मॉडलों की औपचारिक (यानी गणितीय) विशिष्टताओं को लिखने के लिए एक भाषा है
सॉफ़्टवेयर और सिस्टम की विस्तृत विविधताएँ, और उनके गुणों का सत्यापन। कैफ़ेओबीजे
पुनर्लेखन द्वारा समीकरणीय तर्क को लागू करता है और इसे एक शक्तिशाली इंटरैक्टिव प्रमेय के रूप में उपयोग किया जा सकता है
सिद्ध प्रणाली. विनिर्देशक CafeOBJ में भी प्रूफ़ स्कोर लिख सकते हैं और इसके द्वारा प्रूफ़ कर सकते हैं
प्रूफ़ स्कोर निष्पादित करना।
CafeOBJ के पास संस्थानों पर आधारित अत्याधुनिक कठोर तार्किक शब्दार्थ है। कैफेओबीजे
क्यूब विभिन्न के संयोजन में अंतर्निहित विभिन्न तर्कों की संरचना को दर्शाता है
भाषा द्वारा कार्यान्वित प्रतिमान. CafeOBJ में प्रूफ स्कोर भी पर आधारित हैं
संस्था आधारित कठोर शब्दार्थ, और प्रमाण के पूरे सेट का उपयोग करके इसका निर्माण किया जा सकता है
नियमों.
विकल्प
विकल्पों के दो वर्ग हैं. पहले के लिए विकल्प हैं कैफ़ेओबीजे आवरण लिपि
जो अंतर्निहित सामान्य लिस्प दुभाषिया का चयन करने और खोज पथ को समायोजित करने की अनुमति देता है
मापदंडों।
-यन्त्र नाम
अंतर्निहित सामान्य लिस्प इंजन का चयन करता है। यदि नहीं दिया तो पहले वाले का चयन किया
निर्माण के दौरान समय का उपयोग किया जाता है।
-सूची-इंजन
सभी उपलब्ध सामान्य लिस्प इंजनों को सूचीबद्ध करता है
-रैपर-लिबपाथ पथ
वह पथ सेट करता है जहां लिस्प दुभाषियों के मेमोरी डंप पाए जाते हैं
-रैपर-शेयरपथ पथ
वह पथ सेट करता है जहां CafeOBJ आरंभीकरण फ़ाइलें खोजी जाती हैं
विकल्पों का निम्नलिखित सेट सीधे CafeOBJ दुभाषिया पर निर्देशित होता है:
-मदद एक सहायता संदेश प्रिंट करें
-q उपयोगकर्ता की आरंभीकरण फ़ाइल लोड न करें
-बैच बैच मोड में चलाएँ
-p पथ
मॉड्यूल को परिभाषित करने वाली मानक प्रस्तावना फ़ाइल देता है
+p पथ
अतिरिक्त प्रस्तावना फ़ाइल लोड करें
-l डीआईआर-सूची
मॉड्यूल खोज पथ के लिए पथनामों की सूची सेट करें, जिन्हें कोलन द्वारा अलग किया गया है
+l डीआईआर-सूची
मॉड्यूल खोज पथ के लिए पथनाम की एक सूची जोड़ता है
फ़ाइलें फ़ाइलें जो स्टार्टअप समय पर क्रम में लोड की जाती हैं।
onworks.net सेवाओं का उपयोग करके कैफ़ेओबीजे का ऑनलाइन उपयोग करें
