摘要
数据类型是程序语言中的一个重要概念,编译时类型检查(静态检查)和运行时类型检查(动态检查)是两种主要的类型检查方式,各自有着自己的优点。本文提出一种类型检查模式,即强附类型—动态检查,作为这两种方式的折衷,并讨论了其在语言中的应用和优点。
The data type is an important concept of programming language, compile-time type checking (static checking) and run-time type checking (dynamic checking) are two common type checking schemes, each having advantages over other. As a compromise , this paper presents a type checking scheme, strongly typing - dynamic checking, and discusses its application in programming language and its advantages.
出处
《小型微型计算机系统》
CSCD
北大核心
1992年第10期23-28,34,共7页
Journal of Chinese Computer Systems
基金
本项研究受国家自然科学基金
博士点基金
关键词
程序语言
数据类型
类型检查
Propramming language, data type, type checking
