DMCA
The Formal Execution Semantics of SpecC (2002)
Cached
Download Links
- [www.c-lab.de]
- [jerry.c-lab.de]
- [www.cecs.uci.edu]
- [www.cecs.uci.edu]
- [www.ics.uci.edu]
- [www.cecs.uci.edu]
- [www.cecs.uci.edu]
- [www.ics.uci.edu]
- [www.cecs.uci.edu]
- [users.ece.utexas.edu]
- [www.cecs.uci.edu]
- [users.ece.utexas.edu]
- [www.ics.uci.edu]
- [www.cecs.uci.edu]
- [users.ece.utexas.edu]
- [users.ece.utexas.edu]
- [www.cecs.uci.edu]
- [www.c-lab.de]
- [jerry.c-lab.de]
- [www.cecs.uci.edu]
- [www.cs.york.ac.uk]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the International Symposium on System Synthesis |
| Citations: | 14 - 7 self |
BibTeX
@INPROCEEDINGS{Mueller02theformal,
author = {Wolfgang Mueller and Rainer Dömer and Rainer Dömer and Andreas Gerstlauer and Andreas Gerstlauer},
title = {The Formal Execution Semantics of SpecC},
booktitle = {In Proceedings of the International Symposium on System Synthesis},
year = {2002}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
State Machine (ASM) rules reflecting the specification given in the SpecC Language Reference Manual [5]. We mainly see our formal semantics in three application areas. First, it can be taken as a high--level, pseudo code--oriented specification for the implementation of a SpecC simulator which is outlined in a separate section. Second, it is a concise, unambiguous description for documentation and standardization. Finally, it is a first step for SpecC synthesis in order to identify similar concepts with other languages like VHDL and SystemC for the definition of common patterns and language subsets.
