Dit is de Linux-app genaamd The ATS PL System waarvan de nieuwste release kan worden gedownload als ats-lang-anairiats-0.2.12.tgz. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app genaamd The ATS PL System met OnWorks gratis 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.
Het ATS PL-systeem
Ad
PRODUCTBESCHRIJVING
De programmeertaal ATS verenigt implementatie met formele specificatie door een programmeurgerichte benadering van programmaverificatie mogelijk te maken: hoe weten we dat een programma correct wordt geïmplementeerd? We vragen de programmeur om dit aan te tonen met een bewijs.
Kenmerken
- ATS kan worden gebruikt als een veilige front-end voor C
- ATS en C delen dezelfde gegevensrepresentatie
Toehoorders
Wetenschap/onderzoek, ontwikkelaars
Gebruikersinterface
Opdrachtregel
Programmeertaal
C
Database-omgeving
MySQL
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/ats-lang/. Het is gehost in OnWorks zodat het op de eenvoudigste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.
