Computer Design and Description Languages

This publication has 35 references indexed in Scilit:

• Some Aspects of High-Level Microprogramming
  ACM Computing Surveys, 1980
• Why not innovations in computer architecture?
  ACM SIGARCH Computer Architecture News, 1980
• Automatic Derivation of Code Generators from Machine Descriptions
  ACM Transactions on Programming Languages and Systems, 1980
• The Organization of Microprogram Stores
  ACM Computing Surveys, 1979
• Using Emulaion to Verify Formal Architecture Descriptions
  Computer, 1978
• A question of semantics
  ACM SIGARCH Computer Architecture News, 1978
• A design language for asynchronous logic
  The Computer Journal, 1978
• The programming language Concurrent Pascal
  IEEE Transactions on Software Engineering, 1975
• A Comparison of Register Transfer Languages for Describing Computers and Digital Systems
  IEEE Transactions on Computers, 1975
• An ALGOL-like computer design language
  Communications of the ACM, 1965