A Denotational Semantics for Handel-C Hardware Compilation-Reference-Cited by-同舟云学术

A Denotational Semantics for Handel-C Hardware Compilation

Published:2007 Issue: Volume: Page:266-285
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Perna Juan Ignacio,Woodcock Jim

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-76650-6_16.pdf

Reference26 articles.

1. Boulton, R., et al.: Experience with embedding hardware description languages in HOL. In: Proc. of the International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, pp. 129–156 (1992)

2. Bowen, J.: Hardware compilation of the ProCoS gas burner case study using logic programming. In: ProCoS-US Hardware Synthesis and Verification Workshop (1996)

3. Bowen, J., Jifeng, H.: Hardware compilation: Verification and rapid-prototyping. Technical report, The University of Reading (1999)

4. Bowen, J., Jifeng, H., Page, I.: Hardware compilation, pp. 193–207. Elsevier, Amsterdam (1994)

5. Lecture Notes in Computer Science;S. Brookes,1985

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. UTP by Example: Designs;Engineering Trustworthy Software Systems;2017

2. Heterogeneous Semantics and Unifying Theories;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016

3. An algebraic approach to the design of compilers for object-oriented languages;Formal Aspects of Computing;2010-09

4. UTP Semantics for Handel-C;Unifying Theories of Programming;2010

5. Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation;Lecture Notes in Computer Science;2009