Il linguaggio che si corregge da solo

Workspace

È in fase di sperimentazione un linguaggio di, simile al C, che promette di eliminare bachi ed errori di programmazione

Alcuni ricercatori americani stanno lavorando a un progetto che potrebbe portare un nuovo e più sicuro sistema operativo, libero dai comuni problemi di sicurezza che affliggono i sistemi attuali. Il progetto Cyclone, sforzo congiunto della Cornell University e degli ATNessuno scrive codice buono al cento percento, e nessuno mai lo farà, ha detto. Non possiamo garantire una totale correttezza, ma Cyclone è abbastanza efficace nelleliminare bachi che possono generare delle falle nel sistema. Il compilatore di Cyclone è efficace nel controllare il codice C, evidenziando i problemi e proponendo delle soluzioni laddove non riesca a correggerli automaticamente. Se poi un baco permane nel codice, Cyclone può fermare lapplicazione in modo sicuro, senza provocare pericolosi blocchi di sistema. Al momento, il team ha realizzato un Web server basato su Cyclone che è libero dai bachi tradizionali, ma il progetto contempla, nei prossimi dieci anni, la creazione di un intero sistema operativo basato su Cyclone. La home page del progetto Cyclone può essere trovata qui .

Autore: ITespresso
Clicca per leggere la biografia dell'autore  Clicca per nascondere la biografia dell'autore