摘要: Euclid是在Pascal的基础上改造和发展而成的一种新语言,其设计目的是为了便于构造可验证的系统程序。 Euclid最早问世于1976年,其报告的最新文本发表于1977年。我国已有中译本。(见2) 本文首先介绍Euclid的概貌,着重指出它与Pascal的不同点;其次,通过几个例子来说明Euclid的可验证性;最后,介绍Euclid写系统程序的特点。