1 Search Results for "Maarek, Manuel"

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-dev.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}
}
  • Refine by Author
  • 1 Maarek, Manuel

  • Refine by Classification
  • 1 Software and its engineering → Software evolution

  • Refine by Keyword
  • 1 immutability
  • 1 programming language evaluation
  • 1 secure programming
  • 1 software evolution

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2019

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact