A set of primitive operators is described for directing the progress of a computer job. These primitive operators form the core of a high level language, based on the ALGOL-60 syntax, intended to be used as a replacem...
详细信息
The ASC Fortran compiler and the methods of optimizing the execution times of compiled programs are described. Language extensions and compiler organization are briefly outlined. Traditional scalar optimization techni...
详细信息
APLGOL is a language providing interstatement control structure for APL. It permits programs to be written using the power and conciseness of standard APL expressions in conjunction with structured programming concept...
详细信息
We distinguish the activity of writing large programs from that of writing small ones. By large programs we mean systems consisting of many small programs (modules), possibly written bY different people. We need langu...
详细信息
compilers, besides testing for errors in a particular implementation of an algorithm, can be implemented to analyze program structure. This information can be fed back to the programmer in order to improve the structu...
详细信息
The intent of the current paper is to show how a large problem like compiler development can be divided in a way which provides a structure for arguments of correctness. Although mechanically checked proofs are not en...
详细信息
One goal of researchers in the area of programming language translation techniques has been, and will for some time be, to develop a language-description language such that language descriptions can be mapped straight...
详细信息
One of the reasons for developing high level languages has been the desire for program portability from one type of machine to another. To achieve the high degree of machine independence necessary for program portabil...
详细信息
Once the general principles of compilation by semantic attributes have been exposed, it is then demonstrated, with the help of a simple example, how such an approach leads naturally to an amelioration of the generated...
详细信息
暂无评论