HomeResearch TopicsApplication DriveProjectsPublicationsPeoplePhD StudiesNewsEvents & CfPInfo & Contacts
CiTechCiWorkCISTER DSSjoin us!Enjoy Porto!
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       
Login
HomePublicationsPaper

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


Document:
View
PDF Download
PDF


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.isep.pt/docs/cister_tr_190613 www.cister.isep.pt/docs/1534
Previous PaperNext Paper