An Approach to ALGOL Translation PDF Download

Author: Albert A. Grau
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 96

View

Book Description

Author: Peter O'Hearn
Publisher: Springer Science & Business Media
ISBN: 147573851X
Category : Computers
Languages : en
Pages : 345

View

Book Description
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc turing in compiler texts that are intended to cover a wide variety of program ming languages. More is said in the Iiterature on semantics-directed compiler construction [1] but here too the viewpoint is very general (though limited to 1 languages with a finite number of syntactic types). On the other handl there is a considerable body of work using the continuation-passing transformation to structure compilers for the specific case of call-by-value languages such as SCHEME and ML [21 3]. ln this paperl we will describe a method of structuring the translation of ALGOL-like languages that is based on the functor-category semantics devel oped by Reynolds [4] and Oles [51 6]. An alternative approach using category theory to structure compilers is the early work of F. L. Morris [7]1 which anticipates our treatment of boolean expressionsl but does not deal with procedures. 2 Types and Syntax An ALGOL-like language is a typed lambda calculus with an unusual repertoire of primitive types. Throughout most of this paper we assume that the primi tive types are comm(and) int(eger)exp(ression) int(eger)acc(eptor) int(eger)var(iable) I and that the set 8 of types is the least set containing these primitive types and closed under the binary operation -.

Author: Peter O'Hearn
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 349

View

Book Description
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc turing in compiler texts that are intended to cover a wide variety of program ming languages. More is said in the Iiterature on semantics-directed compiler construction [1] but here too the viewpoint is very general (though limited to 1 languages with a finite number of syntactic types). On the other handl there is a considerable body of work using the continuation-passing transformation to structure compilers for the specific case of call-by-value languages such as SCHEME and ML [21 3]. ln this paperl we will describe a method of structuring the translation of ALGOL-like languages that is based on the functor-category semantics devel oped by Reynolds [4] and Oles [51 6]. An alternative approach using category theory to structure compilers is the early work of F. L. Morris [7]1 which anticipates our treatment of boolean expressionsl but does not deal with procedures. 2 Types and Syntax An ALGOL-like language is a typed lambda calculus with an unusual repertoire of primitive types. Throughout most of this paper we assume that the primi tive types are comm(and) int(eger)exp(ression) int(eger)acc(eptor) int(eger)var(iable) I and that the set 8 of types is the least set containing these primitive types and closed under the binary operation -.

Author: Albert A. Grau
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 70

View

Book Description

Author: Paul Branquart
Publisher:
ISBN:
Category :
Languages : en
Pages : 204

View

Book Description

Author: Albert A. Grau
Publisher:
ISBN:
Category : ALGOL (Computer program language).
Languages : en
Pages : 414

View

Book Description

Author: Albert A. Grau
Publisher: Springer Science & Business Media
ISBN: 3642869378
Category : Mathematics
Languages : en
Pages : 413

View

Book Description
Problem oriented programming languages as they have developed over the last ten years essentially serve two purposes which somewhat crudely can be described by the terms man-man communication and man-machine communication, respectively. As a carrier of information between humans, the problem oriented programming language is designed to express the essence of an algorithm in a way which is un ambiguous and concise as well as independent of (and therefore meaning ful without any reference to) the changing details of computing machine ry. As a carrier of information from man to computer, the language permits the human programmer to express his computational needs in a compact way adapted to the general characteristics of computers, but freed from the burdening details of specific computer facilities. This presupposes the existence of algorithms, or programs, which permit the computer itself to transform efficiently programs written in the problem oriented language into machine programs. Thus the entire computing community profits from the work of the individual programmer. The primary purpose of the Handbook is to present a set of algorithms of broad utility from the domain of numerical mathematics written in the problem oriented language ALGOL 60. Therefore, volumes I a and I b are in a sense supplementary as they serve to introduce this language. Volume I a gives a description of the language proper and of its use for writing correct programs. Thus, volume I a primarily covers the aspect of man-man communication by means of ALGOL 60.

Author: P. Branquart
Publisher: Springer
ISBN: 9783662173053
Category : Computers
Languages : en
Pages : 336

View

Book Description

Author: Patrick D. Terry
Publisher:
ISBN:
Category : Translators (Computer programs)
Languages : en
Pages : 416

View

Book Description

Author: Paul Branquart
Publisher: Springer
ISBN:
Category : Computers
Languages : en
Pages : 364

View

Book Description
“The book describes a translation process which generates efficient code while remaining machine independent. The process starts from the output stream of the syntactic analyzer.” -- Summary.