Bu, en son sürümü crsx401.zip olarak indirilebilen Combinatory Reduction Systems Extended adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
OnWorks ile Genişletilmiş Kombinatoryal İndirgeme Sistemleri adlı bu uygulamayı ücretsiz olarak çevrimiçi indirin ve çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
Genişletilmiş Kombine Redüksiyon Sistemleri
AÇIKLAMA:
Java'da deneysel uzantılarla Kombinatoryal İndirgeme Sistemlerinin (CRS) uygulanması. CRS, 1980'de JWKlop tarafından icat edilen üst düzey yeniden yazma için bir biçimciliktir. Daha fazla ayrıntı için Projeye/Web Sitesine bakın.
Özellikler
- Dönem Yeniden Yazma
- Resmi özelliklerden derleyiciler oluşturun
- Yüksek Sıralı Yeniden Yazma
- Lambda Hesabı
Seyirci
Gelişmiş Son Kullanıcılar, Bilim/Araştırma
Kullanıcı arabirimi
Komut satırı, Eclipse
Programlama dili
C, Java
Bu, https://sourceforge.net/projects/crsx/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.