摘要
元数学的思维方式及方法,预示了程序设计语言规范及发展的道路,且为其指明了方向.
The thinking manner and method of metamathematics indicate the criterion of programming languages' and its developmental way.
出处
《小型微型计算机系统》
CSCD
北大核心
1999年第9期717-720,共4页
Journal of Chinese Computer Systems
关键词
元数学
程序设计语言
形式化
思维方法
Metamathematics Programming languages Formaliztion Thinking method