An Algebraic Framework for Data Abstraction in Hardware Description-Reference-Cited by-同舟云学术

An Algebraic Framework for Data Abstraction in Hardware Description

Published:1991 Issue: Volume: Page:50-67
ISSN:1431-1682
Container-title:Designing Correct Circuits
language:
Short-container-title:

Author:

Zhu Zheng,Johnson Steven D.

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3544-9_3

Reference20 articles.

1. J. A. Bergstra and J. V. Tucker. Initial and final algebra semantics for data type specification: Two characterization theorems. SIAM Journal of Computing, Vol 12(No. 2):366–387, May 1983.

2. Also published as Technical Report 274;CD Boyer,1989

3. Lecture Notes in Computer Science;R Camposano,1989

4. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1; Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.

5. J. A. Goguen, J. W. Thatcher, and E. G. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract datatypes. In R. Yeh, editor, Current Trends in Programming Methodology, chapter 5, pages 80–149. Prentice-Hall, Englewood Cliffs, N.J. 07632, 1978.

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

1. Integrating Boolean Verification with Formal Derivation††Research reported herein was supported, in part, by NSF: The National Science Foundation, under grants numbered DCR 85-21497, MIP 87-07067 and MIP 89-21842, and by NASA: The National Aeronautics and Space Administration under grant number NGT-50861.;Computer Hardware Description Languages and their Applications;1993