Verified functional programming of an IoT operating system's bootloader.
Shenghao YuanJean-Pierre TalpinPublished in: MEMOCODE (2021)
Keyphrases
- operating system
- functional programming
- programming language
- functional language
- execution model
- computer systems
- distributed systems
- management system
- microsoft windows
- virtual machine
- memory management
- cloud computing
- object oriented programming
- big data
- virtual memory
- mobile computing
- windows xp
- databases
- operating environment
- general purpose
- data streams