Representational and denotational semantics of digital systems
- 1 July 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 38 (7), 986-999
- https://doi.org/10.1109/12.30850
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- AIgorithmsACM SIGART Bulletin, 1995
- Representational and denotational semantics of digital systemsIEEE Transactions on Computers, 1989
- System Semantics and formal circuit descriptionIEEE Transactions on Circuits and Systems, 1986
- Miranda: A non-strict functional language with polymorphic typesLecture Notes in Computer Science, 1985
- muFP, a language for VLSI designPublished by Association for Computing Machinery (ACM) ,1984
- The denotational semantics of sequential machinesInformation Processing Letters, 1980
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Abstract data types and the development of data structuresCommunications of the ACM, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Proof of correctness of data representationsActa Informatica, 1972