Percorrer por autor "Tamasi, Ferenc"
A mostrar 1 - 1 de 1
Resultados por página
Opções de ordenação
- Experimental Evaluation of Formal Software Development Using Dependently Typed LanguagesPublication . Tamasi, FerencWe will evaluate three dependently typed languages, and their supporting tools and libraries, by implementing the same tasks in each language. One task will demonstrate the basic dependent type support of each language, the other task will show how to do basic imperative programming combined with theorem proving, to ensure both resource safety and functional correctness.