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, 2019Abstract:
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.
Events:
Document:
14th International Conference on Software Technologies (DSIE 2019), pp 12-19.
Porto, Portugal.
ISBN: 978-972-752-243-9.
Record Date: 13, Jun, 2019
Short links for this page: www.cister-labs.pt/docs/cister_tr_190613 www.cister-labs.pt/docs/1534