Computer Design and Description Languages

作者: Subrata Dasgupta

DOI: 10.1016/S0065-2458(08)60568-9

关键词:

摘要: Publisher Summary In the area of programming, power languages helps to shape thoughts on computation and direct them along one path rather than another, create particular set mental pictures in preference others. The chapter observes that there exist a large number language proposals for hardware specification at various levels abstraction. This examines detail description computer hardware, with emphasis architecture descriptions. considers nature can be used design systems, commonly referred as (CDDLs). Further applicability these depends largely development appropriate language-based methods automated systems. With continuing advances, shift from language-design issues problem methodologies, environments systematic, rigorous, verifiable implementation architectures noticed.

参考文章(72)
Alan B. Salisbury, Microprogrammable Computer Architectures Elsevier Science Inc.. ,(1976)
G. Estrin, Methodology for design of digital systems: supported by SARA at the age of one AFIPS, Conf. Proc.; (United States). ,(1978)
Herbert A. Simon, Sciences of the Artificial ,(1970)
David A. Patterson, An approach to firmware engineering. national computer conference. pp. 643- 648 ,(1978)
Marvin V. Zelkowitz, John D. Gannon, Alan C. Shaw, Principles of software engineering and design ,(1979)
Ashok K. Agrawala, Tomlinson G. Rauscher, Foundations of microprogramming : architecture, software, and applications Academic Press. ,(1976)
Roland N. Ibbett, Derrick Morris, The MU5 Computer System ,(1979)
M. V. Wilkes, R. M. Needham, The Cambridge CAP computer and its operating system ,(1979)
Elliott Irving Organick, James A. Hinds, Interpreting machines : architecture and programming of the B1700/B1800 series North-Holland. ,(1978)