Dit is de Windows-app PLT (Programming Languages Theory), waarvan de nieuwste versie kan worden gedownload als pltsourcecode.tar.gz. Deze kan online worden uitgevoerd via de gratis hostingprovider OnWorks voor werkstations.
Download en gebruik online gratis deze app met de naam PLT (Programming Languages Theory) 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 een OS OnWorks online emulator vanaf deze website, maar een betere Windows online emulator.
- 5. Ga vanuit het OnWorks Windows-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 en installeer deze.
- 7. Download Wine van de softwarebronnen voor Linux-distributies. Eenmaal geïnstalleerd, kunt u vervolgens dubbelklikken op de app om ze met Wine uit te voeren. Je kunt ook PlayOnLinux proberen, een mooie interface via Wine waarmee je populaire Windows-programma's en -games kunt installeren.
Wine is een manier om Windows-software op Linux uit te voeren, maar zonder dat Windows vereist is. Wine is een open-source Windows-compatibiliteitslaag die Windows-programma's rechtstreeks op elke Linux-desktop kan uitvoeren. In wezen probeert Wine genoeg van Windows opnieuw te implementeren, zodat het al die Windows-applicaties kan draaien zonder Windows echt nodig te hebben.
SCREENSHOTS
Ad
PLT (Programmeertaaltheorie)
PRODUCTBESCHRIJVING
Een zorgvuldig samengestelde routekaart voor de theorie van programmeertalen, met baanbrekende artikelen, boeken en bronnen in een navigeerbare structuur voor zelfstudie. Het behandelt fundamentele onderwerpen zoals lambda calculus, typesystemen, interpreters, compilers en formele semantiek, maar verwijst ook naar hedendaagse gebieden zoals effectsystemen, afhankelijke typen en verificatie. Elke sectie groepeert materialen per thema, zodat studenten stap voor stap hun begrip kunnen opbouwen in plaats van lukraak te zoeken. De lijst legt de nadruk op primaire bronnen en hoogwaardige lezingen, waardoor lezers worden aangemoedigd om zich te verdiepen in grondige analyses in plaats van oppervlakkige samenvattingen. Het is ontworpen om zowel te dienen als een startgids voor nieuwkomers als een referentie-index voor ervaren beoefenaars, om hiaten op te vullen. Door PL-theorie te behandelen als een toegankelijk, progressief curriculum, verlaagt de repository de drempel voor serieuze studie zonder het onderwerp te verwateren.
Kenmerken
- Georganiseerd materiaal rondom kernonderwerpen van PL/typetheorie (modules, impliciete parameters, effecten, enz.)
- Ingebedde codefragmenten (bijv. SML / OCaml / ML-stijl) gekoppeld aan theoretische concepten
- Bibliografische verwijzingen en verwijzingen naar gepubliceerde artikelen (bijv. Yallop's effectenbibliografie)
- Hypergelinkte structuur voor het navigeren door onderwerpen, kruisverwijzing naar gerelateerde thema's
- Zelf-gehoste website / documentatieweergave
- Moedigt bijdragen en uitbreidingen van onderwerpen door anderen aan
Programmeertaal
JavaScript
Categorieën
Deze applicatie kan ook worden gedownload van https://sourceforge.net/projects/plt-prog-languages.mirror/. Deze is gehost in OnWorks, zodat deze eenvoudig online kan worden uitgevoerd via een van onze gratis besturingssystemen.
