TY - GEN
T1 - RTMLton
T2 - 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020
AU - Shivkumar, Bhargav
AU - Murphy, Jeffrey
AU - Ziarek, Lukasz
N1 - Publisher Copyright: © 2020, Springer Nature Switzerland AG.
PY - 2020
Y1 - 2020
N2 - There is a growing interest in leveraging functional programming languages in real-time and embedded contexts. Functional languages are appealing as many are strictly typed, amenable to formal methods, have limited mutation, and have simple, but powerful concurrency control mechanisms. Although there have been many recent proposals for specialized domain specific languages for embedded and real-time systems, there has been relatively little progress on adapting more general purpose functional languages for programming embedded and real-time systems. In this paper we present our current work on leveraging Standard ML in the embedded and real-time domains. Specifically we detail our experiences in modifying MLton, a whole program, optimizing compiler for Standard ML, for use in such contexts. We focus primarily on the language runtime, re-working the threading subsystem and garbage collector. We provide preliminary results over a radar-based aircraft collision detector ported to SML.
AB - There is a growing interest in leveraging functional programming languages in real-time and embedded contexts. Functional languages are appealing as many are strictly typed, amenable to formal methods, have limited mutation, and have simple, but powerful concurrency control mechanisms. Although there have been many recent proposals for specialized domain specific languages for embedded and real-time systems, there has been relatively little progress on adapting more general purpose functional languages for programming embedded and real-time systems. In this paper we present our current work on leveraging Standard ML in the embedded and real-time domains. Specifically we detail our experiences in modifying MLton, a whole program, optimizing compiler for Standard ML, for use in such contexts. We focus primarily on the language runtime, re-working the threading subsystem and garbage collector. We provide preliminary results over a radar-based aircraft collision detector ported to SML.
KW - Functional programming
KW - Predictable GC
KW - Real-time systems
UR - https://www.scopus.com/pages/publications/85079104437
U2 - 10.1007/978-3-030-39197-3_8
DO - 10.1007/978-3-030-39197-3_8
M3 - Conference contribution
SN - 9783030391966
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 113
EP - 130
BT - Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, Proceedings
A2 - Komendantskaya, Ekaterina
A2 - Liu, Yanhong Annie
PB - Springer
Y2 - 20 January 2020 through 21 January 2020
ER -