Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming.

Tuur Benoit Bart Jacobs

Published in: IFM (2019)

Keyphrases

embedded systems
low cost
embedded software
embedded devices
processing power
sufficient conditions
computing power
real time image processing
resource limited
hardware software
hw sw
high frequency
flash memory
real time
cooperative