Abstract
Recent research has shown how the formal modeling of concurrent systems can benefit from monadic structuring. With this approach, a formal system model is really a program in a domain specific language defined by a monad for shared-state concurrency. Can these models be compiled into efficient implementations? This paper addresses this question and presents an overview of techniques for compiling monadic concurrency models directly into reasonably efficient software and hardware implementations. The implementation techniques described in this article form the basis of a semantics-directed approach to model-driven engineering.
| Original language | English |
|---|---|
| Title of host publication | DSL '09: Proc. of the IFIP TC 2 Working Conference on Domain-Specific Languages |
| Pages | 20-44 |
| Number of pages | 25 |
| DOIs | |
| State | Published - 2009 |
| Externally published | Yes |
Fingerprint
Dive into the research topics of 'Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver