DROPS

Document

DOI: 10.4230/OASIcs.PLATEAU.2018.6

Observing the Uptake of a Language Change Making Strings Immutable

Authors: Manuel Maarek

Published in: OASIcs, Volume 67, 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018)

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.

Cite as

Manuel Maarek. Observing the Uptake of a Language Change Making Strings Immutable. In 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018). Open Access Series in Informatics (OASIcs), Volume 67, pp. 6:1-6:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@InProceedings{maarek:OASIcs.PLATEAU.2018.6,
  author =	{Maarek, Manuel},
  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 =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-091-0},
  ISSN =	{2190-6807},
  year =	{2019},
  volume =	{67},
  editor =	{Barik, Titus and Sunshine, Joshua and Chasins, Sarah},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PLATEAU.2018.6},
  URN =		{urn:nbn:de:0030-drops-101947},
  doi =		{10.4230/OASIcs.PLATEAU.2018.6},
  annote =	{Keywords: software evolution, programming language evaluation, immutability, secure programming}
}

Search Results

Documents authored by Maarek, Manuel

Observing the Uptake of a Language Change Making Strings Immutable

Abstract

Cite as

Thanks for your feedback!

Could not send message