cafeobj - آنلاین در ابر

برنامه:

نام

cafeobj - مشخصات جبری و زبان برنامه نویسی

خلاصه

cafeobj [گزینه]... [فایل ها] ...

شرح

شروع می کند CafeOBJ مترجم

CafeOBJ پیشرفته ترین زبان مشخصات رسمی است که وارث بسیاری از زبان های پیشرفته است
ویژگی‌ها (به عنوان مثال دستور ترکیبی منعطف، سیستم تایپ قدرتمند و واضح با دستور
مرتب سازی، ماژول های پارامتری و نماها برای نمونه سازی پارامترها، و ماژول
عبارات و غیره) از زبان مشخصات جبری OBJ (یا دقیقاً OBJ3).

CafeOBJ زبانی برای نوشتن مشخصات رسمی (یعنی ریاضی) مدل ها است
تنوع گسترده ای از نرم افزارها و سیستم ها و بررسی ویژگی های آنها. CafeOBJ
منطق معادلات را با بازنویسی پیاده سازی می کند و می تواند به عنوان یک قضیه تعاملی قدرتمند استفاده شود
سیستم اثبات مشخص‌کننده‌ها می‌توانند نمرات اثبات را نیز در CafeOBJ بنویسند و اثبات‌ها را توسط آن انجام دهند
اجرای نمرات اثبات

CafeOBJ بر اساس نهادها، معناشناسی منطقی دقیق و پیشرفته ای دارد. CafeOBJ
مکعب ساختار منطق های مختلف را نشان می دهد که زیربنای ترکیب منطق های مختلف است
پارادایم های پیاده سازی شده توسط زبان نمرات اثبات در CafeOBJ نیز بر اساس است
معناشناسی دقیق مبتنی بر نهاد، و می تواند با استفاده از یک مجموعه کامل از اثبات ساخته شود
قوانین.

OPTIONS

دو دسته از گزینه ها وجود دارد. اولین گزینه هایی برای cafeobj اسکریپت بسته بندی شده
که امکان انتخاب مفسر اصلی Common Lisp و تنظیم مسیر جستجو را فراهم می کند
پارامترها.

-تعارف نام
موتور Lisp مشترک زیربنایی را انتخاب می کند. اگر داده نشد، اولین مورد انتخاب می شود
در طول زمان ساخت استفاده می شود.

-لیست موتورها
تمام موتورهای لیسپ رایج موجود را فهرست می کند

-wrapper-libpath PATH
مسیری را تعیین می کند که در آن حافظه خالی مفسرهای lisp یافت می شود

-wrapper-sharepath PATH
مسیری را که فایل های CafeOBJ مقداردهی اولیه جستجو می شوند را تعیین می کند

مجموعه گزینه های زیر مستقیماً به مترجم CafeOBJ هدایت می شوند:

-کمک یک پیام راهنما چاپ کنید

-q فایل اولیه سازی کاربر را بارگیری نکنید

- دسته ای در حالت دسته ای اجرا شود

-p PATH
ماژول های تعریف فایل پیش درآمد استاندارد را می دهد

+p PATH
فایل پیش درآمد اضافی را بارگیری کنید

-l DIR-LIST
لیستی از نام مسیرها را برای مسیر جستجوی ماژول تنظیم کنید که با دو نقطه از هم جدا شده اند

+l DIR-LIST
لیستی از نام مسیر را برای مسیر جستجوی ماژول اضافه می کند

فایل ها فایل هایی که در زمان راه اندازی به ترتیب بارگذاری می شوند.

با استفاده از خدمات onworks.net از cafeobj آنلاین استفاده کنید