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

برنامه:

نام

Maude - یک چارچوب منطقی با عملکرد بالا

خلاصه

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

شرح

این صفحه راهنما به اختصار مستندات Maude مترجم این صفحه راهنما نوشته شده است
برای توزیع دبیان زیرا برنامه اصلی صفحه دستی ندارد.

Maude یک زبان و سیستم بازتابی با کارایی بالا است که از هر دو معادله و نیز پشتیبانی می کند
بازنویسی مشخصات منطقی و برنامه نویسی برای طیف وسیعی از کاربردها. Maude است
به طرق مهمی تحت تأثیر زبان OBJ3 قرار گرفته است که می توان آن را به عنوان یک زبان در نظر گرفت
زیرزبان منطق معادله علاوه بر پشتیبانی از مشخصات معادله و برنامه نویسی،
Maude همچنین از بازنویسی محاسبات منطقی پشتیبانی می کند.

بازنویسی منطق یک منطق تغییر همزمان است که به طور طبیعی می تواند با حالت و
با محاسبات همزمان به عنوان یک چارچوب معنایی کلی برای ویژگی های خوبی دارد
دادن معناشناسی قابل اجرا به طیف گسترده ای از زبان ها و مدل های همزمانی. که در
به ویژه، از محاسبات شی گرا همزمان به خوبی پشتیبانی می کند. همین دلایل
بازنویسی منطق را به یک چارچوب معنایی خوب تبدیل کنید، آن را به یک چارچوب منطقی خوب نیز تبدیل کنید،
یعنی یک متالوژیک که در آن بسیاری از منطق های دیگر را می توان به طور طبیعی بازنمایی و اجرا کرد.

Maude به شیوه ای سیستماتیک و کارآمد از بازتاب منطقی پشتیبانی می کند. این باعث می شود Maude
به طور قابل ملاحظه ای توسعه پذیر و قدرتمند، از جبر توسعه پذیر ترکیب ماژول پشتیبانی می کند
عملیات، و اجازه می دهد تا بسیاری از برنامه های کاربردی فرابرنامه ریزی پیشرفته و فرازبان.
در واقع، برخی از جالب ترین برنامه های کاربردی Maude کاربردهای فرا زبانی هستند،
که در آن Maude برای ایجاد محیط های اجرایی برای منطق های مختلف، قضیه استفاده می شود
اثبات کننده ها، زبان ها و مدل های محاسباتی.

--کمک نمایش اطلاعات راهنما

- نسخه
نمایش شماره نسخه

-بدون پیش درآمد
در مقدمه استاندارد مطالعه نکنید

-بدون بنر
هنگام راه اندازی بنر خروجی نگیرید

-بدون مشاوره
هیچ توصیه ای در راه اندازی

بدون مخلوط کردن
از نماد mixfix برای خروجی استفاده نکنید

-بدون بسته بندی
از بسته بندی خودکار خط برای خروجی خودداری کنید

-آنسی رنگ
از توالی های کنترل ANSI استفاده کنید

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

تکلا از ویرایش خط فرمان tecla استفاده کنید

-بدون تکلا
از ویرایش خط فرمان tecla استفاده نکنید

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

-در ارتباط بودن
در حالت تعاملی اجرا شود

-random-seed=
دانه را برای مولد اعداد تصادفی تنظیم کنید

-xml-log=
فایلی را تنظیم کنید که در آن یک گزارش xml تولید شود

کپی رایت

حق چاپ (ج) 1997-2011 SRI International, Menlo Park, CA 94025, USA.

حق چاپ (ج) 1997 - 2002، ماکوتو ماتسوموتو و تاکوجی نیشیمورا،

حق چاپ (ج) 2000 - 2003، ریچارد جی واگنر

گزارش نویسی اشکالات

ارسال گزارش اشکال به: [ایمیل محافظت شده]

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