A Formal Description of a Subset of Algol
A Formal Description of a Subset of Algol
复制标题
Algol 子集的正式描述
DOI:
--
复制
发表时间:
1964
期刊:
影响因子:
--
通讯作者:
J. McCarthy
中科院分区:
文献类型:
--
作者:
J. McCarthy
Abstract : The author describes Microalgol, a trivial subset of ALGOL, by means of an interpreter. The notions of abstract syntax and of state of the computation permit a compact description of both syntax and semantics. The author advocates an extension of this technique as a general way of describing programming languages.