You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of York » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of York

Return to search Previous output Next output

Output 37 of 139 in the submission

Article title

Correct hardware synthesis

Type

D - Journal article

DOI

10.1007/s00236-011-0142-y

Title of journal

Acta Informatica

Article number

Volume number

Issue number

7-8

First page of article

363

ISSN of journal

0001-5903

Year of publication

2011

URL

http://dx.doi.org/10.1007/s00236-011-0142-y

Number of additional authors

Additional information

<01>Originality: Sampaio, Hoare and He, and subsequently Duran and Cavalcanti, worked on software compilation using refinement algebra, based on Unifying Theories of Programming. This paper treats concurrency for the first time in this framework, as well as applying the ideas for the first time to hardware compilation. Rigour: Emphasis on correctness by construction using algebraic laws and firmly based on Unifying Theories of Programming. Significance: Inspired other work on hardware synthesis and Handel-C by Butterfield and Woodcock and others. Perna went on from this to work as a verification engineer for ARM in Cambridge.

Interdisciplinary

Cross-referral requested

Research group

A - High Integrity Systems Engineering

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract