White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

prialt in Handel-C: an operational semantics

Butterfield, A. and Woodcock, J. (2005) prialt in Handel-C: an operational semantics. International Journal on Software Tools for Technology Transfer, 7 (3). pp. 248-267. ISSN 1433-2779

Full text not available from this repository.


We describe an operational semantics for the hardware compilation language Handel-C [7], which is a C-like language with channel communication and parallel constructs which compiles down to mainly synchronously clocked hardware. The work in this paper builds on previous work describing the semantics of the “prialt” construct within Handel-C [5] and a denotational semantics for part of the language [6]. We describe a key subset of the language and show how a design decision for the real language, namely that default guards in a prialt statement executed in “zero-time”, has consequences for the complexity of the operational semantics. We present the operational semantics, along with a revised and completed prialt semantics, indicating clearly the interface between them. 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
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 14 May 2009 13:44
Last Modified: 14 May 2009 13:44
Published Version: http://dx.doi.org/10.1007/s10009-004-0181-6
Status: Published
Publisher: Speinger
Identification Number: 10.1007/s10009-004-0181-6
URI: http://eprints.whiterose.ac.uk/id/eprint/6420

Actions (repository staff only: login required)