Random-Access Stored-Program Machines, an Approach to Programming Languages
Journal of the ACM (JACM)
Programming Language for Automata
Journal of the ACM (JACM)
Procedure-oriented language statements to facilitate parallel processing
Communications of the ACM
The structure of programming languages
Communications of the ACM
A language for describing the functions of synchronous systems
Communications of the ACM
The next 700 programming languages
Communications of the ACM
An ALGOL-like computer design language
Communications of the ACM
Program structures for parallel processing
Communications of the ACM
A meta-compiler as a design automation tool
DAC '66 Proceedings of the SHARE design automation project
A programming language
AFIPS '62 (Fall) Proceedings of the December 4-6, 1962, fall joint computer conference
Digital simulation languages: a critique and a guide
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
A formal description of SYSTEM/360
IBM Systems Journal
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems
IEEE Transactions on Computers
The MPG System: A Machine-Independent Efficient Microprogram Generator
IEEE Transactions on Computers
Hi-index | 14.99 |
Languages for describing digital systems have two messages to convey. They must provide enough information about the behavior of the system to permit simulation, and enough information about the structure of the system to indicate how it might be built. This double requirement distinguishes system description languages from conventional programming languages and necessitates special methods for documenting the meaning of the language. Such languages have a single form, or syntax, but two meanings, or semantics. Documentation of the language requires the definition of two distinct meanings.