---
_id: '39382'
abstract:
- lang: eng
  text: We present a rigorous but transparent semantics definition of the SpecC language
    that covers the execution of SpecC behaviors and their interaction with the kernel
    process. The semantics include wait, wait for, par, and try statements as they
    are introduced in SpecC. We present our definition in form of distributed abstract
    state machine (ASM) rules strictly following the lines of the SpecC Language Reference
    Manual. We mainly see our formal semantics in three application areas. First,
    it is a concise, unambiguous description for documentation and standardization.
    Second, it applies as a high-level, pseudo code-oriented specification for the
    implementation of a SpecC simulator. 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.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Rainer
  full_name: Dömer, Rainer
  last_name: Dömer
- first_name: Andreas
  full_name: Gerstlauer, Andreas
  last_name: Gerstlauer
citation:
  ama: 'Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC.
    In: <i>Proceedings of the ISSS02</i>. ; 2002. doi:<a href="https://doi.org/10.1145/581199.581234
    ">10.1145/581199.581234 </a>'
  apa: Müller, W., Dömer, R., &#38; Gerstlauer, A. (2002). The Formal Execution Semantics
    of SpecC. <i>Proceedings of the ISSS02</i>. <a href="https://doi.org/10.1145/581199.581234
    ">https://doi.org/10.1145/581199.581234 </a>
  bibtex: '@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The
    Formal Execution Semantics of SpecC}, DOI={<a href="https://doi.org/10.1145/581199.581234
    ">10.1145/581199.581234 </a>}, booktitle={Proceedings of the ISSS02}, author={Müller,
    Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }'
  chicago: Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution
    Semantics of SpecC.” In <i>Proceedings of the ISSS02</i>. Nagoya, Japan, 2002.
    <a href="https://doi.org/10.1145/581199.581234 ">https://doi.org/10.1145/581199.581234
    </a>.
  ieee: 'W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of
    SpecC,” 2002, doi: <a href="https://doi.org/10.1145/581199.581234 ">10.1145/581199.581234
    </a>.'
  mla: Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” <i>Proceedings
    of the ISSS02</i>, 2002, doi:<a href="https://doi.org/10.1145/581199.581234 ">10.1145/581199.581234
    </a>.
  short: 'W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya,
    Japan, 2002.'
date_created: 2023-01-24T10:10:24Z
date_updated: 2023-01-24T10:10:28Z
department:
- _id: '672'
doi: '10.1145/581199.581234 '
keyword:
- Standardization
- Kernel
- Permission
- Formal verification
- Logic functions
- Documentation
- Reasoning about programs
- Specification languages
- Formal specifications
- Software systems
language:
- iso: eng
place: Nagoya, Japan
publication: Proceedings of the ISSS02
publication_identifier:
  isbn:
  - 1-58113-576-9
status: public
title: The Formal Execution Semantics of SpecC
type: conference
user_id: '5786'
year: '2002'
...