Login

Experimental Evaluation of Formal Software Development Using Dependently Typed Languages
Ref: CISTER-TR-190613       Publication Date: 6, Mar, 2019

Experimental Evaluation of Formal Software Development Using Dependently Typed Languages

Ref: CISTER-TR-190613       Publication Date: 6, Mar, 2019

Abstract:
We 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.

Authors:
Ferenc Tamasi


Events:

DSIE 2019
6, Mar, 2019
14th Doctoral Symposium in Informatics Engineering
Porto, Portugal


14th International Conference on Software Technologies (DSIE 2019).
Porto, Portugal.



Record Date: 13, Jun, 2019