image/svg+xml
Logo Tom's Hardware
  • Hardware
  • Videogiochi
  • Mobile
  • Elettronica
  • EV
  • Scienze
  • B2B
  • Quiz
  • Tom's Hardware Logo
  • Hardware
  • Videogiochi
  • Mobile
  • Elettronica
  • EV
  • Scienze
  • B2B
  • Quiz
  • Forum
  • Sconti & Coupon
Offerte di Natale
Accedi a Xenforo
Immagine di Windows 11, l’AI smette di essere un gadget inutile Windows 11, l’AI smette di essere un gadget inutile...
Immagine di Microsoft dice addio a RC4: fine di un algoritmo storico Microsoft dice addio a RC4: fine di un algoritmo storico...

Julia, ecco il cacciatore di bug Java made in Italy

Gli sviluppatori Java potrebbero presto dire addio ai bug. Julia, un progetto italo-francese, potrebbe essere decisivo per realizzare del codice Java sempre più esente da errori.

Advertisement

Avatar di Pino Bruno

a cura di Pino Bruno

@Tom's Hardware Italia

Pubblicato il 12/01/2011 alle 15:21 - Aggiornato il 15/03/2015 alle 01:26
Quando acquisti tramite i link sul nostro sito, potremmo guadagnare una commissione di affiliazione. Scopri di più

Con Julia gli sviluppatori Java possono sognare di sconfiggere, una volta per tutte, i bug. Si tratta di un software che analizza il codice scritto nel popolare linguaggio in modo da prevenire errori. Julia nasce a Verona, per iniziativa di Roberto Giacobazzi, preside della facoltà di Scienze matematiche, fisiche e naturali, Fausto Spoto, associato di Informatica  e ideatore del progetto, in collaborazione con alcuni docenti dell'Università francese de la Reunion, supportata da Paolo Errico amministratore delegato di Maxfone e da Paolo Fiorini della M&A Partners.

"Julia - dicono a Verona - è l'unica suite oggi disponibile come strumento di analisi software in grado d'integrarsi a livello di rete intranet ed essere erogato in modalità web service (cioè automatica). Grazie alla sua tecnologia basata su analisi denotazionali, Julia permette di coniugare efficienza con precisione. In questo modo è possibile ridurre i costi di produzione del software e i rischi di immissione sul mercato di applicazioni malfunzionanti, che comportano riparazioni onerose e dannose".

"Le analisi effettuate da Julia sono basate su una teoria matematica nota come interpretazione astratta, sviluppata a partire dal 1977 dai coniugi Cousot a Parigi. L'applicazione concreta della teoria ha richiesto sviluppi teorici e tecnologici notevoli, anche a causa del costo delle analisi e della loro precisione. Solo negli ultimi anni è stato possibile realizzare analisi per programmi potenzialmente molto complessi, di grandi dimensioni e scritti in linguaggi di programmazione di esteso uso industriale in grado di fornire informazioni utili per il programmatore".

Julia sarà disponibile tra qualche mese, quando saranno ultimati i ritocchi del prodotto, e poi sarà presentato sul mercato del software in Java per acquistare quote sempre maggiori e far diventare Verona un nuovo polo tecnologico mondiale. La spin off dell'Università di Verona sta valutando le partnership necessarie per far decollare il progetto sul mercato nazionale e internazionale.

ringraziamo Pino Bruno per la collaborazione

👋 Partecipa alla discussione! Scopri le ultime novità che abbiamo riservato per te!

0 Commenti

⚠️ Stai commentando come Ospite . Vuoi accedere?

Invia

Per commentare come utente ospite, clicca quadrati

Cliccati: 0 /

Reset

Questa funzionalità è attualmente in beta, se trovi qualche errore segnalacelo.

Segui questa discussione

Advertisement

Ti potrebbe interessare anche

Microsoft dice addio a RC4: fine di un algoritmo storico
2

Hardware

Microsoft dice addio a RC4: fine di un algoritmo storico

Di Antonello Buzzi
Windows 11, l’AI smette di essere un gadget inutile
2

Hardware

Windows 11, l’AI smette di essere un gadget inutile

Di Antonello Buzzi
Corsair, via alle offerte di Natale su hardware PC e gaming

Sponsorizzato

Corsair, via alle offerte di Natale su hardware PC e gaming

Di Antonello Buzzi
Prezzi RAM fuori controllo: comprare ora o aspettare?
1

Hardware

Prezzi RAM fuori controllo: comprare ora o aspettare?

Di Antonello Buzzi
Samsung raddoppia i prezzi della RAM DDR5
6

Hardware

Samsung raddoppia i prezzi della RAM DDR5

Di Antonello Buzzi

Advertisement

Advertisement

Footer
Tom's Hardware Logo

 
Contatti
  • Contattaci
  • Feed RSS
Legale
  • Chi siamo
  • Privacy
  • Cookie
  • Affiliazione Commerciale
Altri link
  • Forum
Il Network 3Labs Network Logo
  • Tom's Hardware
  • SpazioGames
  • CulturaPop
  • Data4Biz
  • TechRadar
  • SosHomeGarden
  • Aibay

Tom's Hardware - Testata giornalistica associata all'USPI Unione Stampa Periodica Italiana, registrata presso il Tribunale di Milano, nr. 285 del 9/9/2013 - Direttore: Andrea Ferrario

3LABS S.R.L. • Via Pietro Paleocapa 1 - Milano (MI) 20121
CF/P.IVA: 04146420965 - REA: MI - 1729249 - Capitale Sociale: 10.000 euro

© 2025 3Labs Srl. Tutti i diritti riservati.