A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM
Specifications for a design automation system
DAC '65 Proceedings of the SHARE design automation project
A programming language
Quality of designs from an automatic logic generator (ALERT)
DAC '70 Proceedings of the 7th Design Automation Workshop
IEEE Transactions on Computers
IEEE Transactions on Computers
DCDS digital simulating system
AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
| Hi-index | 0.01 |
In the field of design automation, in general and in the automatic design of digital computers in particular, it is frequently necessary to translate machine descriptions and designer requests from the input language to the language of the design automation system. This process is very similar to the translation of artificial computer programming languages into machine language. Hence, it is reasonable to attempt to apply the techniques developed for writing compilers to the task of translation required within a design automation system. In this paper we will describe the use of one such tool, the meta-compiler or syntax directed compiler.[1] A meta-compiler is a compiler specifically tailored for the generation of other compilers. The input to a meta-compiler consists of a description of the input and output languages of the compiler to be generated and the algorithmic relationship between them. The use of a meta-compiler reduces the generation of compilers from an extremely formidable task of assembly language programming to a more routine task of higher language programming.