摘要
程序设计语言与操作系统引入抽象概念使程序员可以忽略实现细节。支撑抽象的主要目的不只是提高实现效率,而且也提供必要的保护以避免违背抽象。由于对效率的狂热追求,第二个目的被忽视了。种种迹象表明,近来一些声称为简单而有效的设计是通过把代码生成与适当的保护这两者的复杂问题推卸给编译程序来达到效率的。软件设计与硬件设计的共同特点是其复杂性,这是通过通常的测试与模拟所控制不了的。硬件设计可以采用那些类似于程序设计中所使用的证明技术,从而利用程序设计方法学的研究成果。
出处
《计算机科学》
CSCD
北大核心
1989年第4期65-68,15,共5页
Computer Science
