Dit is de Linux-app met de naam Combinatory Reduction Systems Extended waarvan de nieuwste release kan worden gedownload als crsx401.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download deze app met de naam Combinatory Reduction Systems Extended with OnWorks gratis en voer deze online uit.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
Combinatiereductiesystemen uitgebreid
BESCHRIJVING:
Implementatie van Combinatory Reduction Systems (CRS) met experimentele uitbreidingen, in Java. CRS is een formalisme voor herschrijven van hogere orde, uitgevonden door JWKlop in 1980. Voor meer details zie de Project/Website.
Voordelen
- Termijn herschrijven
- Genereer compilers uit formele specificaties
- Herschrijven van hogere orde
- Lambda-calculus
Toehoorders
Geavanceerde eindgebruikers, wetenschap/onderzoek
Gebruikersinterface
Opdrachtregel, Eclipse
Programmeertaal
C, Java
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/crsx/. Het is gehost in OnWorks, zodat het op de gemakkelijkste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.