Abstract
High assurance systems have been defined as systems ``you would bet your life on.'' This article discusses the application of a form of functional programming---what we call ``monadic programming''---to the generation of high assurance and secure systems. Monadic programming languages leverage algebraic structures from denotational semantics and functional programming---monads---as a flexible, modular organizing principle for secure system design and implementation. Monadic programming languages are domain-specific functional languages that are both sufficiently expressive to express essential system behaviors and semantically straightforward to support formal verification.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 2011 International Conference on Engineering Reconfigurable Systems and Algorithms (ERSA11) |
| State | Published - 2011 |
| Externally published | Yes |
Fingerprint
Dive into the research topics of 'Towards Semantics-directed System Design and Synthesis'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver