DMCA
Compiling Concurrent Languages for Sequential Processors (2001)
Cached
Download Links
| Venue: | ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS |
| Citations: | 22 - 2 self |
BibTeX
@ARTICLE{Edwards01compilingconcurrent,
author = {Stephen A. Edwards},
title = {Compiling Concurrent Languages for Sequential Processors},
journal = {ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS},
year = {2001},
volume = {8},
pages = {141--187}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
... This paper 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 technique, 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.
