元数学与程序设计语言

编号 zgly0000201599

文献类型 期刊论文

文献题名 元数学与程序设计语言

作者 王玲  唐立中 

作者单位 南京林业大学计算机室  东南大学计算机系 

母体文献 小型微型计算机系统 

年卷期 1999,20(9)

页码 717-720

年份 1999 

分类号 O141.2  TP312 

关键词 元数学  程序设计语言  形式化  思维方法 

文摘内容 元数学的思维方式及方法, 预示了程序设计语言规范及发展的道路, 且为其指明了方向。