Code for studying Module Systems in Traditional versus Capability-Based Programming Languages
The overall study consists of three designs. First, we ask participants to implement specific parts of the architecture using capability via external libraries or module systems in languages. The design process of the study was made primarily by testing one of the facets of the overall goal (usability, extensibility, and security). Each study was divided into three steps for participants - designing the initial architecture, finding vulnerabilities, and a post-study survey.
The studies are as follows:
Reports/
- the necessary paperwork and research before/during conducting the study.Study/
- contains each of the study designs. The initital templates for the respective langagues are in the respective subfolders, with solutions being insols/
images/
- static data for hosting the content in documentation.