An operational semantics for Handel-C

Butterfield, Andrew and Woodcock, Jim (2003) An operational semantics for Handel-C. Electronic Notes in Theoretical Computer Science, 80 . pp. 1-16. ISSN 1571-0661. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL


We describe an operational semantics for the hardware compilation language Handel-C [10], which is a C-like language with channel communication and parallel constructs which compile down to mainly synchronously clocked hardware. The work in this paper builds on previous work describing the semantics of priority within Handel-C [9] and a denotational semantics for part of the language [8]. We describe a key subset of the language and show how a design decision for the real language, namely that default guards in prialt-statement executed in "zero-time", has consequences for the complexity of the operational semantics. We present the operational semantics, indicating clearly how it interfaces with the priority semantics of [9]. We then describe a notion of observational equivalence, and present an example illustrating how we handle the complexity of nested prialts in default guards.

Item Type: Article
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:00
Last Modified: 16 Apr 2014 14:28
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):