Synopsis
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. 2 Types and Syntax An ALGOL-like language is a typed lambda calculus with an unusual repertoire of primitive types.
"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.
Other Popular Editions of the Same Title
Search results for Algol-like Languages (Progress in Theoretical Computer...
Stock Image
Algol-like Languages (Progress in Theoretical Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781475738537_new
Buy New
£ 96.15
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Algol-like Languages
Published by
Birkhäuser Boston Mrz 2013, 2013
ISBN 10: 1475738536
ISBN 13: 9781475738537
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
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
Seller Image
Algol-like Languages
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4207202
Buy New
£ 82.20
£ 42.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Algol-like Languages
Published by
Birkhauser Boston Inc, US, 2013
ISBN 10: 1475738536
ISBN 13: 9781475738537
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Softcover reprint of the original 1st ed. 1997. Seller Inventory # LU-9781475738537
Buy New
£ 125.10
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Algol-like Languages
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2013. Paperback. . . . . . Seller Inventory # V9781475738537
Stock Image
Algol-like Languages
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 360. Seller Inventory # 2697864460
Stock Image
Algol-like Languages
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 360 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 94565587
Buy New
£ 129.32
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Algol-like Languages (Progress in Theoretical Computer Science)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 356 pages. 9.10x6.10x0.80 inches. In Stock. Seller Inventory # x-1475738536
Buy New
£ 128.72
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Algol-like Languages
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 360. Seller Inventory # 1897864454
Seller Image
Algol-like Languages
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Algol-like Languages | Robert Tennent (u. a.) | Taschenbuch | vii | Englisch | 2013 | Birkhäuser Boston | EAN 9781475738537 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 105639618