Ini ialah apl Linux bernama Combinatory Reduction Systems Extended yang keluaran terbarunya boleh dimuat turun sebagai crsx401.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama Sistem Pengurangan Gabungan Diperluas dengan OnWorks ini secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
Sistem Pengurangan Gabungan Dilanjutkan
Ad
DESCRIPTION
Pelaksanaan Sistem Pengurangan Gabungan (CRS) dengan sambungan percubaan, di Jawa. CRS ialah formalisme untuk penulisan semula peringkat tinggi yang dicipta oleh JWKlop pada tahun 1980. Untuk butiran lanjut lihat Projek/Tapak Web.
Ciri-ciri
- Penulisan Semula Istilah
- Hasilkan penyusun daripada spesifikasi formal
- Penulisan Semula Aras Tinggi
- Kalkulus Lambda
Penonton
Pengguna Akhir Termaju, Sains/Penyelidikan
Antaramuka pengguna
Baris arahan, Eclipse
Bahasa Pengaturcaraan
C, Jawa
Ini ialah aplikasi yang juga boleh diambil daripada https://sourceforge.net/projects/crsx/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.