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.
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

Share / Export

Statistics