Representational and denotational semantics of digital systems

DOI10.1109/12.30850zbMath0682.68087OpenAlexW2010576582MaRDI QIDQ4732133

Raymond Boute

Publication date: 1989

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/12.30850

zbMATH Keywords

codingdenotational semanticsbehaviorsdigital systemssequential machinessequential functionsnumber representationsrepresentational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of software (68N99)

Uses Software

• Miranda

This page was built for publication: Representational and denotational semantics of digital systems