Work

Tutorial: Compiling concurrent languages for sequential processors

Year: 2003

Type: article

Abstract: 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.

Source: ACM Transactions on Design Automation of Electronic Systems

DOI: 10.1145/762488.762489

Author: Stephen A. Edwards

Institution: Columbia University

Language: English

Topic: Embedded Systems Design Techniques

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2156783651

FWCI: 8.118

Cites: 83

Cited by: 54

Related to: 10