BibTeX
@MISC{Butterfield_testingformal,
author = {Andrew Butterfield and Brian J. Corcoran},
title = {Testing Formal Semantics with QuickCheck},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. We describe the use of the Haskell testing package QuickCheck to aid in the debugging of the operational and denotational semantics of a hardware compilation language called Handel-C. 1
