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

Abstract

Metadata

Authors/Creators:
  • Butterfield, A.
  • Woodcock, J.
Dates:
  • Published: June 2005
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (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: https://doi.org/10.1007/s10009-004-0181-6

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics