NewSpeak: an unexceptional language
作者:
I.F.Currie,
期刊:
Software Engineering Journal
(IET Available online 1986)
卷期:
Volume 1,
issue 4
页码: 170-176
年代: 1986
DOI:10.1049/sej.1986.0027
出版商: IEE
数据来源: IET
摘要:
NewSpeak is a language designed for use in safety-critical programs. It tries to limit the freedom of the programmer to the kind of ideas in programming that are reasonably easy to formalise, without making these restrictions unduly onerous. Its principal characteristic is that it has no exceptional values or states. Incorrect constructions which would lead to exceptional behaviour, such as range violations or numerical overflow, are all dealt with at compile time.
点击下载:
PDF
(1124KB)
返 回