AN ALGORITHMIC SEMANTICS FOR ALGOL-60 IDENTIFIER DENOTATION

作     者：BOYLE, JM GRAU, AA 

作者机构：Argonne National Laboratory Applied Mathematics Division Argonne Illinois Argonne National Laboratory Applied Mathematics Division Argonne Illinois 

出 版 物：《JOURNAL OF THE ACM》 (美国计算机学会志)

年 卷 期：1970年第17卷第2期

页      面：361-&页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：address Algol 60 algorithmic metalanguage identifier denotation programming language programming language linguistics semantic description semantic metalanguage semantics transformation algorithm 

摘      要：The problem of giving an algorithmic specification of the semantics of identifier denotation and block structure in Algol 60 is investigated. To facilitate the statement of the algorithms, a set of “canonical identifiers and certain auxiliary languages are introduced. The algorithms for identifier denotation are then given. They transform an Algol 60 program into one in which no identifier is ever redeclared;hence they unambiguously associate each identifier with its proper declaration. Informal proofs of the correctness of the algorithms are provided. The implications of the algorithms for resolving some of the remaining trouble spots in Algol 60, and their applicability to other languages, are briefly discussed. © 1970, ACM. All rights reserved.