Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen komut maude'dir.
Program:
ADI
Maude - Yüksek performanslı bir mantıksal çerçeve
SİNOPSİS
maude [seçenekleri] [Dosyaları]
TANIM
Bu kılavuz sayfası kısaca şunları belgelemektedir: Maude Tercüman. Bu kılavuz sayfası yazılmıştır
Orijinal programın bir kılavuz sayfası olmadığı için Debian dağıtımı için.
Maude hem denklemi hem de denklemi destekleyen yüksek performanslı yansıtıcı bir dil ve sistemdir.
çok çeşitli uygulamalar için mantık belirtimlerini ve programlamayı yeniden yazma. Maude vardır
olarak kabul edilebilecek OBJ3 dilinden önemli ölçüde etkilenmiştir.
denklemsel mantık alt dili. Denklemsel tanımlama ve programlamayı desteklemenin yanı sıra,
Maude ayrıca yeniden yazma mantığı hesaplamasını da destekler.
Yeniden yazma mantığı, durum ve durumla doğal olarak başa çıkabilen eşzamanlı bir değişim mantığıdır.
eşzamanlı hesaplamalar ile için genel bir anlamsal çerçeve olarak iyi özelliklere sahiptir.
çok çeşitli dillere ve eşzamanlılık modellerine yürütülebilir semantik vermek. İçinde
özellikle, çok iyi eşzamanlı nesne yönelimli hesaplamayı destekler. aynı sebepler
yeniden yazma mantığını iyi bir semantik çerçeve yapmak, onu aynı zamanda iyi bir mantıksal çerçeve yapmak,
yani, diğer birçok mantığın doğal olarak temsil edilip yürütülebildiği bir metalojik.
Maude sistematik ve verimli bir şekilde mantıksal yansımayı destekler. Bu yapar Maude
oldukça genişletilebilir ve güçlü, modül bileşiminin genişletilebilir bir cebirini destekler
işlemler ve birçok gelişmiş metaprogramlama ve metadil uygulamasına izin verir.
Gerçekten de, en ilginç uygulamalardan bazıları Maude metadil uygulamalarıdır,
hangi Maude farklı mantıklar için yürütülebilir ortamlar oluşturmak için kullanılır, teorem
kanıtlayıcılar, diller ve hesaplama modelleri.
--yardım et yardım bilgilerini göster
--versiyon
Sürüm numarasını göster
-no-prelüd
Standart girişte okumayın
- afişsiz
Başlangıçta banner çıktısı vermeyin
-tavsiyesiz
Başlatmada tavsiye yok
-karıştırma yok
Çıktı için mixfix notasyonu kullanmayın
-sarma yok
Çıktı için otomatik satır kaydırma yapmayın
-ansi-renk
ANSI kontrol dizilerini kullanın
-hayır-ansi-renk
ANSI kontrol dizilerini kullanmayın
-tekla tecla komut satırı düzenlemesini kullanın
-hayır-tecla
tecla komut satırı düzenlemeyi kullanmayın
-grup Toplu modda çalıştır
-etkileşimli
Etkileşimli modda çalıştırın
-rastgele tohum=
Rastgele sayı üreteci için tohum ayarla
-xml-log=
Bir xml günlüğünün oluşturulacağı dosyayı ayarlayın
TELİF HAKKI
Telif hakkı (c) 1997-2011 SRI International, Menlo Park, CA 94025, ABD.
Telif hakkı (c) 1997 - 2002, Makoto Matsumoto ve Takuji Nishimura,
Telif Hakkı (c) 2000 - 2003, Richard J. Wagner
RAPORLAMA BÖCEK
Hata raporlarını şuraya gönderin: [e-posta korumalı]
onworks.net hizmetlerini kullanarak maude çevrimiçi kullanın
