The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
doi: 10.4121/611fd9e6-a7bb-47d7-9afe-34efe890ddd7

Juhošová, Sára (2023): Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems. Version 2. 4TU.ResearchData. dataset. https://doi.org/10.4121/611fd9e6-a7bb-47d7-9afe-34efe890ddd7.v2

Dataset

x choose version: version 1 - 2023-06-20

• Computer Software and Services
• Computer Software
• Information and Communication Services
• Information and Computing Sciences

Agda, Agda2HS, formal verification, Haskell, theorem proving, transpilation, usability

CC0

RefWorks, BibTeX, Reference Manager, Endnote, DataCite, NLM, DC, CFF

by Sára Juhošová

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.

• 2023-06-20 first online

• 2023-06-21 published, posted

4TU.ResearchData

*.xlsx

• http://resolver.tudelft.nl/uuid:4260f3fb-f0dd-4a1c-8097-58855609ba41

TU Delft, Faculty of Electrical Engineering, Mathematics and Computer Science