Dit is de Linux-app genaamd libmx waarvan de nieuwste release kan worden gedownload als libmx-0.2.tar.gz. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app met de naam libmx gratis uit met OnWorks.
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.
SCREENSHOTS
Ad
libx
PRODUCTBESCHRIJVING
"mx" is een opdrachtregelteststuurprogramma voor "libmx" (zie hieronder) die zowel het type als de waarde van een lambda-calculusexpressie evalueert (http://en.wikipedia.org/wiki/Lambda_calculus) verstrekt door de gebruiker.
"libnpmx.so" ("npmx.dll" op MS Windows) is een NPAPI-plug-in (http://en.wikipedia.org/wiki/NPAPI) voor de Mozilla Firefox-webbrowser op basis van "libmx".
"libmx" biedt een raamwerk voor het omgaan met (uitgebreide en optioneel getypte) lambda-calculus-expressies. Het biedt onder andere:
o sjablooninstantiatiemachine voor het evalueren van de waarde van een lambda-calculusexpressie,
oa template instantiatie machine voor het evalueren van het Hindley-Milner type (http://en.wikipedia.org/wiki/Hindley-Milner) van een lambda-calculusexpressie, en
o geheugenbeheer op basis van referentietellers voor lambda-calculus-uitdrukkingen en -types.
"libmx" is geschreven in C (C99).
Gebruikersinterface
Opdrachtregel, plug-ins
Programmeertaal
C
Categorieën
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/libmx/. Het is gehost in OnWorks om op een gemakkelijkste manier online te kunnen worden uitgevoerd vanuit een van onze gratis besturingssystemen.
