Jest to aplikacja dla systemu Linux o nazwie Combinatory Reduction Systems Extended, której najnowszą wersję można pobrać w pliku crsx401.zip. Można go uruchomić online w bezpłatnym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online aplikację o nazwie Combinatory Reduction Systems Extended with OnWorks za darmo.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
Rozszerzone kombinacyjne systemy redukcyjne
OPIS:
Implementacja Kombinacyjnych Systemów Redukcyjnych (CRS) z rozszerzeniami eksperymentalnymi w Javie. CRS to formalizm przepisywania wyższego rzędu wymyślony przez JWKlop w 1980. Więcej szczegółów można znaleźć w projekcie/witrynie internetowej.
Korzyści
- Przepisanie terminu
- Generuj kompilatory na podstawie formalnych specyfikacji
- Przepisywanie wyższego rzędu
- Rachunek lambda
Publiczność
Zaawansowani użytkownicy końcowi, nauka/badania
Interfejs użytkownika
Wiersz poleceń, Eclipse
Język programowania
C, Jawa
Jest to aplikacja, którą można również pobrać ze strony https://sourceforge.net/projects/crsx/. Został on hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.