Abstract
To address security concerns, a major change was introduced to the OCaml language and compiler which made strings immutable and introduced array of bytes as replacement for mutable strings. The change is progressively being pushed so that ultimately strings will be immutable. We have investigated the way OCaml package developers undertook the change. In this paper we report on a preliminary observation of software code from the main OCaml package management system. For this purpose we instrumented versions of the OCaml compiler to get precise information into the uptake of safe strings.
| Original language | English |
|---|---|
| Title of host publication | 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018) |
| Editors | Sarah Chasins, Joshua Sunshine, Titus Barik |
| Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Pages | 6:1-6:8 |
| Number of pages | 8 |
| ISBN (Electronic) | 9783959770910 |
| DOIs | |
| Publication status | Published - 2019 |
| Event | 9th Workshop on Evaluation and Usability of Programming Languages and Tools 2018 - Boston, United States Duration: 5 Nov 2018 → 5 Nov 2018 https://2018.splashcon.org/track/plateau-2018-papers#About |
Publication series
| Name | OpenAccess Series in Informatics (OASIcs) |
|---|---|
| Volume | 67 |
| ISSN (Electronic) | 2190-6807 |
Workshop
| Workshop | 9th Workshop on Evaluation and Usability of Programming Languages and Tools 2018 |
|---|---|
| Abbreviated title | PLATEAU 2018 |
| Country/Territory | United States |
| City | Boston |
| Period | 5/11/18 → 5/11/18 |
| Internet address |
Keywords
- Immutability
- Programming language evaluation
- Secure programming
- Software evolution
ASJC Scopus subject areas
- Geography, Planning and Development
- Modelling and Simulation