এই কমান্ড মউড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
Maude - একটি উচ্চ কর্মক্ষমতা লজিক্যাল কাঠামো
সাইনোপিসিস
মড [অপশন] [নথি পত্র]
বর্ণনাঃ
এই ম্যানুয়াল পৃষ্ঠা সংক্ষিপ্তভাবে নথি মড দোভাষী এই ম্যানুয়াল পৃষ্ঠাটি লেখা হয়েছিল
ডেবিয়ান ডিস্ট্রিবিউশনের জন্য কারণ মূল প্রোগ্রামের একটি ম্যানুয়াল পৃষ্ঠা নেই।
মড একটি উচ্চ-কর্মক্ষমতা প্রতিফলিত ভাষা এবং সিস্টেম সমীকরণ এবং উভয় সমর্থন করে
বিস্তৃত অ্যাপ্লিকেশনের জন্য যুক্তি স্পেসিফিকেশন এবং প্রোগ্রামিং পুনর্লিখন। মড হয়েছে
OBJ3 ভাষা দ্বারা গুরুত্বপূর্ণ উপায়ে প্রভাবিত হয়েছে, যা একটি হিসাবে গণ্য করা যেতে পারে
সমীকরণমূলক যুক্তি উপভাষা। সমীকরণগত স্পেসিফিকেশন এবং প্রোগ্রামিং সমর্থন করার পাশাপাশি,
মড এছাড়াও যুক্তি গণনা পুনর্লিখন সমর্থন করে.
পুনঃলিখন যুক্তি হল সমসাময়িক পরিবর্তনের একটি যুক্তি যা স্বাভাবিকভাবেই রাষ্ট্রের সাথে মোকাবিলা করতে পারে এবং
সমবর্তী গণনা সহ। এটির জন্য একটি সাধারণ শব্দার্থিক কাঠামো হিসাবে ভাল বৈশিষ্ট্য রয়েছে
বিস্তৃত ভাষা এবং একযোগে মডেলের এক্সিকিউটেবল শব্দার্থবিদ্যা প্রদান করা। ভিতরে
বিশেষ করে, এটি খুব ভাল সমসাময়িক অবজেক্ট-ওরিয়েন্টেড গণনা সমর্থন করে। একই কারণ
পুনঃলিখন যুক্তিকে একটি ভাল শব্দার্থিক কাঠামো তৈরি করে এটি একটি ভাল যৌক্তিক কাঠামো তৈরি করে,
অর্থাৎ, একটি মেটালজিক যেখানে অন্যান্য অনেক যুক্তি প্রাকৃতিকভাবে উপস্থাপন এবং কার্যকর করা যেতে পারে।
মড একটি পদ্ধতিগত এবং দক্ষ উপায়ে যৌক্তিক প্রতিফলন সমর্থন করে। এটা তৈরি করে মড
উল্লেখযোগ্যভাবে এক্সটেনসিবল এবং শক্তিশালী, মডিউল রচনার একটি এক্সটেনসিবল বীজগণিত সমর্থন করে
অপারেশন, এবং অনেক উন্নত মেটাপ্রোগ্রামিং এবং ধাতব ভাষা অ্যাপ্লিকেশনের অনুমতি দেয়।
প্রকৃতপক্ষে, সবচেয়ে আকর্ষণীয় অ্যাপ্লিকেশন কিছু মড ধাতুভাষা অ্যাপ্লিকেশন,
যা মড বিভিন্ন যুক্তিবিদ্যা, উপপাদ্যের জন্য নির্বাহযোগ্য পরিবেশ তৈরি করতে ব্যবহৃত হয়
provers, ভাষা, এবং গণনার মডেল।
--help সাহায্য তথ্য প্রদর্শন
--সংস্করণ
সংস্করণ নম্বর প্রদর্শন করুন
-না-প্রিলিউড
প্রমিত ভূমিকায় পড়বেন না
-নো-ব্যানার
স্টার্টআপে ব্যানার আউটপুট করবেন না
-না-পরামর্শ
স্টার্টআপে কোনো পরামর্শ নেই
-না-মিক্সফিক্স
আউটপুট জন্য mixfix স্বরলিপি ব্যবহার করবেন না
-না-মোড়ানো
আউটপুট জন্য স্বয়ংক্রিয় লাইন মোড়ানো করবেন না
-আনসি-রঙ
ANSI কন্ট্রোল সিকোয়েন্স ব্যবহার করুন
-না-আনসি-রঙ
ANSI কন্ট্রোল সিকোয়েন্স ব্যবহার করবেন না
-টেকলা টেকলা কমান্ড লাইন এডিটিং ব্যবহার করুন
-না-টেকলা
টেকলা কমান্ড লাইন এডিটিং ব্যবহার করবেন না
-ব্যাচ ব্যাচ মোডে চালান
- ইন্টারেক্টিভ
ইন্টারেক্টিভ মোডে চালান
-এলোমেলো-বীজ=
এলোমেলো সংখ্যা জেনারেটরের জন্য বীজ সেট করুন
-xml-log=
একটি xml লগ তৈরি করার জন্য ফাইল সেট করুন
কপিরাইট
কপিরাইট (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA।
কপিরাইট (c) 1997 - 2002, Makoto Matsumoto এবং Takuji Nishimura,
কপিরাইট (c) 2000 - 2003, Richard J. Wagner
প্রতিবেদনের বাগ
এতে বাগ রিপোর্ট পাঠান: [ইমেল সুরক্ষিত]
onworks.net পরিষেবা ব্যবহার করে অনলাইনে মউড ব্যবহার করুন
