RTMLton: An SML Runtime for Real-Time Systems.

Bhargav Shivkumar Jeffrey C. Murphy Lukasz Ziarek

Published in: PADL (2020)

Keyphrases

real time systems
real time
distributed systems
embedded systems
mission critical
timing constraints
embedded real time systems
real time database systems
artificial intelligence
information sharing
architectural model
object oriented programming language