Questa è l'app Linux denominata The ATS PL System la cui ultima versione può essere scaricata come ats-lang-anairiats-0.2.12.tgz. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online questa app denominata The ATS PL System con OnWorks gratuitamente.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
Il sistema ATS PL
Ad
DESCRIZIONE
Il linguaggio di programmazione ATS unifica l'implementazione con la specifica formale adattando un approccio incentrato sul programmatore alla verifica del programma: come facciamo a sapere che un programma viene implementato correttamente? Chiediamo al programmatore di dimostrarlo con una prova.
Caratteristiche
- ATS può essere utilizzato come front-end sicuro per C
- ATS e C condividono la stessa rappresentazione dei dati
Pubblico
Scienza/Ricerca, Sviluppatori
Interfaccia utente
Riga di comando
Linguaggio di programmazione
C
Ambiente database
MySQL
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/ats-lang/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.
