TY - DATA T1 - Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems PY - 2023/06/21 AU - Sára Juhošová UR - DO - 10.4121/611fd9e6-a7bb-47d7-9afe-34efe890ddd7.v2 KW - formal verification KW - theorem proving KW - transpilation KW - Agda KW - Haskell KW - Agda2HS KW - usability N2 -

This is the dataset containing the results from the user study questionnaire conducted at the TU Delft as part of the Master Thesis "Bringing Formal Verification into Widespread Programming Language Ecosystems" by Sára Juhošová. The objective of the research was to investigate and improve the usability of a Agda2HS, a tool for transpiling programs written in Agda into Haskell. The data within this dataset was collected through an online form as part of the user study designed to evaluate the usability of Agda2HS after new features were added. The questions were a mixture of Agree-Disagree statements and supplementary open questions, directed at the participants' experience and impressions of Agda2HS. The participants filled in this questionnaire after implementing two programming assignments using Agda2HS.

ER -