The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware.
Thomas N. ReynoldsAdam M. ProcterWilliam L. HarrisonGerard AllweinPublished in: ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
- high assurance
- low cost
- real time
- access control
- fault tolerant
- software systems
- hardware and software
- image processing
- distributed systems
- source code
- computing systems
- operating system
- digital circuits
- hardware architecture
- computing platform
- computing power
- computational power
- computer systems
- general purpose
- query language
- neural network