2003 Articles
Tutorial: Compiling Concurrent Languages for Sequential Processors
Embedded systems often include a traditional processor capable of executing sequential code, but both control and data-dominated tasks are often more naturally expressed using one of the many domain-specific concurrent specification languages. This article surveys a variety of techniques for translating these concurrent specifications into sequential code. The techniques address compiling a wide variety of languages, ranging from dataflow to Petri nets. Each uses a different method, to some degree chosen to match the semantics of concurrent language. Each technique is considered to consist of a partial evaluator operating on an interpreter. This combination provides a clearer picture of how parts of each technique could be used in a different setting.
Subjects
Files
- edwards2003compiling.pdf application/pdf 754 KB Download File
Also Published In
- Title
- ACM Transactions on Design Automation of Electronic Systems
- DOI
- https://doi.org/10.1145/762488.762489
More About This Work
- Academic Units
- Computer Science
- Published Here
- June 7, 2012