Observing the Uptake of a Language Change Making Strings Immutable

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Downloads (Pure)

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 languageEnglish
Title of host publication9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018)
EditorsSarah Chasins, Joshua Sunshine, Titus Barik
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Pages6:1-6:8
Number of pages8
ISBN (Electronic)9783959770910
DOIs
Publication statusPublished - 2019
Event9th Workshop on Evaluation and Usability of Programming Languages and Tools 2018 - Boston, United States
Duration: 5 Nov 20185 Nov 2018
https://2018.splashcon.org/track/plateau-2018-papers#About

Publication series

NameOpenAccess Series in Informatics (OASIcs)
Volume67
ISSN (Electronic)2190-6807

Workshop

Workshop9th Workshop on Evaluation and Usability of Programming Languages and Tools 2018
Abbreviated titlePLATEAU 2018
CountryUnited States
CityBoston
Period5/11/185/11/18
Internet address

Keywords

  • Immutability
  • Programming language evaluation
  • Secure programming
  • Software evolution

ASJC Scopus subject areas

  • Geography, Planning and Development
  • Modelling and Simulation

Fingerprint Dive into the research topics of 'Observing the Uptake of a Language Change Making Strings Immutable'. Together they form a unique fingerprint.

  • Cite this

    Maarek, M. (2019). Observing the Uptake of a Language Change Making Strings Immutable. In S. Chasins, J. Sunshine, & T. Barik (Eds.), 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018) (pp. 6:1-6:8). (OpenAccess Series in Informatics (OASIcs); Vol. 67). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/OASIcs.PLATEAU.2018.6