License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.PLATEAU.2018.6
URN: urn:nbn:de:0030-drops-101947
URL: https://drops.dagstuhl.de/opus/volltexte/2019/10194/
Go to the corresponding OASIcs Volume Portal


Maarek, Manuel

Observing the Uptake of a Language Change Making Strings Immutable

pdf-format:
OASIcs-PLATEAU-2018-6.pdf (0.4 MB)


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.

BibTeX - Entry

@InProceedings{maarek:OASIcs:2019:10194,
  author =	{Manuel Maarek},
  title =	{{Observing the Uptake of a Language Change Making Strings Immutable}},
  booktitle =	{9th Workshop on Evaluation and Usability of Programming  Languages and Tools (PLATEAU 2018)},
  pages =	{6:1--6:8},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-091-0},
  ISSN =	{2190-6807},
  year =	{2019},
  volume =	{67},
  editor =	{Titus Barik and Joshua Sunshine and Sarah Chasins},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/10194},
  URN =		{urn:nbn:de:0030-drops-101947},
  doi =		{10.4230/OASIcs.PLATEAU.2018.6},
  annote =	{Keywords: software evolution, programming language evaluation, immutability, secure programming}
}

Keywords: software evolution, programming language evaluation, immutability, secure programming
Collection: 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018)
Issue Date: 2019
Date of publication: 29.01.2019


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI