Author: Peter Naur
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Revised Report on the Algorithmic Language ALGOL 60
Author: J. W. Backus
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 54
Book Description
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 54
Book Description
Revised Report on the Algorithmic Language Algol 60
Author: P. Naur
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Revised Report on the Algorithmic Language ALGOL 60
Author: Peter Naur
Publisher:
ISBN: 9789061960898
Category : ALGOL (Computer program language)
Languages : en
Pages : 17
Book Description
Publisher:
ISBN: 9789061960898
Category : ALGOL (Computer program language)
Languages : en
Pages : 17
Book Description
Revised Report on the Algorithmic Language Algol 68
Author: A. van Wijngaarden
Publisher: Springer Science & Business Media
ISBN: 3642952798
Category : Mathematics
Languages : en
Pages : 241
Book Description
The report gives a complete defining description of the international algorithmic language Algol 60.
Publisher: Springer Science & Business Media
ISBN: 3642952798
Category : Mathematics
Languages : en
Pages : 241
Book Description
The report gives a complete defining description of the international algorithmic language Algol 60.
Revised Report on the Algorithmic Language Algol 60
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Algol-like Languages
Author: Peter O'Hearn
Publisher: Springer Science & Business Media
ISBN: 147573851X
Category : Computers
Languages : en
Pages : 345
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 -.
Publisher: Springer Science & Business Media
ISBN: 147573851X
Category : Computers
Languages : en
Pages : 345
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 -.
Revised Report on the Algorithmic Language
Author: Peter Nauer
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 43
Book Description
Publisher:
ISBN:
Category : ALGOL (Computer program language)
Languages : en
Pages : 43
Book Description
Revised Report on the Algorithmic Language ALGOL 60. By J. W. Backus (o.fl.a.) Ed. by Peter Naur
Author: Peter Naur
Publisher:
ISBN:
Category :
Languages : en
Pages : 43
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 43
Book Description
Algorithmic language algol 60 revised report on the. ed. by n
Author: Peter Naur
Publisher:
ISBN:
Category :
Languages : en
Pages : 43
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 43
Book Description
Revised Report on the Algorithmic Language ALGOL 60
Author: J. W. Backus
Publisher:
ISBN:
Category :
Languages : en
Pages : 40
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 40
Book Description