Algol-like Languages (Progress in Theoretical Computer Science) - Softcover
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 -.
"synopsis" may belong to another edition of this title.
From the Back Cover:
In recent years there has been a remarkable convergence of interest in programming languages based on Algol 60. Researchers interested in the theory of procedural and object-oriented languages discovered that Algol 60 shows how to add procedures and object classes to simple imperative languages in a general and clean way.Volume 1 contains an Introduction, historical and foundational material, and works on language design; all of this material should be accessible to beginning graduate students in programming languages and theoretical computer science.
"About this title" may belong to another edition of this title.
- PublisherBirkhäuser
- Publication date2013
- ISBN 10 1475738536
- ISBN 13 9781475738537
- BindingPaperback
- Number of pages356
Buy New
Learn more about this copy
US$ 106.83
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Algol-like Languages (Progress in Theoretical Computer Science) (Volume 2) by O'Hearn, Peter, Tennent, Robert [Paperback ]
Published by
Birkhäuser
(2013)
ISBN 10: 1475738536
ISBN 13: 9781475738537
New
Soft Cover
Quantity: 10
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9781475738537
Buy New
US$ 106.83
Convert currency
Seller Image
Buy New
US$ 117.52
Convert currency
Stock Image
Algol-like Languages (Progress in Theoretical Computer Science)
Published by
Birkhäuser
(2013)
ISBN 10: 1475738536
ISBN 13: 9781475738537
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar2716030093417
Buy New
US$ 116.18
Convert currency
Stock Image
Algol-like Languages
Published by
Birkhäuser
(2013)
ISBN 10: 1475738536
ISBN 13: 9781475738537
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9781475738537_lsuk
Buy New
US$ 123.19
Convert currency
Seller Image
Buy New
US$ 123.18
Convert currency
Seller Image
Algol-like Languages
Published by
Birkhäuser Boston Mrz 2013
(2013)
ISBN 10: 1475738536
ISBN 13: 9781475738537
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 -. 360 pp. Englisch. Seller Inventory # 9781475738537
Buy New
US$ 119.36
Convert currency
Seller Image
Algol-like Languages
Published by
Birkhäuser Boston
(2013)
ISBN 10: 1475738536
ISBN 13: 9781475738537
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # 4207202
Buy New
US$ 102.94
Convert currency
Seller Image
Algol-like Languages
Published by
Birkhäuser Boston
(2013)
ISBN 10: 1475738536
ISBN 13: 9781475738537
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 -. Seller Inventory # 9781475738537
Buy New
US$ 123.91
Convert currency
Stock Image
Algol-like Languages (Progress in Theoretical Computer Science)
Seller:
Rating
Book Description Paperback. Condition: Brand New. 356 pages. 9.10x6.10x0.80 inches. In Stock. Seller Inventory # x-1475738536
Buy New
US$ 147.24
Convert currency
Stock Image
Algol-like Languages
Published by
Birkh?user
(2013)
ISBN 10: 1475738536
ISBN 13: 9781475738537
New
Softcover
Quantity: 15
Seller:
Rating
Book Description Condition: New. Seller Inventory # V9781475738537
Buy New
US$ 155.79
Convert currency