Project Verona

O Projecto Verona é uma linguagem de programação concebida para estar a salvo da corrupção da memória e de outros comportamentos indefinidos. Faz isto utilizando um sistema de tipo baseado na propriedade e no empréstimo, que permite ao programador expressar as relações entre diferentes partes de dados. Este tipo de sistema é aplicado pelo compilador, de modo que os programas que não seguem as regras não podem ser compilados. O Projecto Verona ainda está em desenvolvimento, e ainda não está pronto para utilização na produção. Contudo, mostra-se promissor como uma linguagem que poderia ser utilizada para escrever software seguro e fiável.