@inproceedings{5eef4a8cd77c4cc7bf35d6e3ed6eadd5,
title = "Real-Time capabilities in functional languages",
abstract = "Functional programming languages play an important role in the development of provably correct software systems. As embedded devices become pervasive and perform critical tasks in our lives, their reliability becomes paramount. This presents a natural opportunity to explore the application of functional programming languages to systems that demand highly predictable behavior. In this paper we explore existing functional programming language compilers and their applicability to realtime, embedded systems.",
author = "Murphy, \{Jeffrey C.\} and Bhargav Shivkumar and Lukasz Ziarek",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, DCPS 2016 ; Conference date: 12-04-2016",
year = "2016",
month = oct,
day = "11",
doi = "10.1109/DCPS.2016.7588296",
language = "English",
series = "2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, DCPS 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, DCPS 2016",
address = "United States",
}