Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems (dataset)

Data underlying the Master Thesis: Bringing Formal Verification into Widespread Programming Language Ecosystems

doi:10.4121/611fd9e6-a7bb-47d7-9afe-34efe890ddd7.v1

Datacite citation style:

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

Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite

Dataset

choose version: version 2 - 2023-06-21 (latest)

version 1 - 2023-06-20

usage stats

248

views

122

downloads

categories

keywords

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

licence

CC0

export as...

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.

history