Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
International Access
Global Shipping Options Available
  Our Catalog   Computers & Technology   Databases & Big Data

Algol-like Languages (Progress in Theoretical Computer Science Volume 2)


Blowout Sale! Save 73% on the Algol-like Languages (Progress in Theoretical Computer Science Volume 2) by Brand: Birkhäuser at Translate This Website. Hurry! Limited time offer. Offer valid only while supplies last. 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


Product Description & Reviews

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 -.

Features & Highlights

  • Used Book in Good Condition

Additional Information

Manufacturer:Birkhäuser
Brand:Brand: Birkhäuser
Publisher:Birkhäuser
Studio:Birkhäuser
EAN:9780817639372
Item Weight:1.51 pounds
Item Size:0.81 x 9.21 x 9.21 inches
Package Weight:1.51 pounds
Package Size:6.3 x 0.83 x 0.83 inches

Algol-like Languages (Progress in Theoretical Computer Science Volume 2) by Brand: Birkhäuser

Buy Now:
Algol-like Languages (Progress in Theoretical Computer Science Volume 2)

4.1 out of 5 stars with 110 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$199.00
$54.52
You Save: 73%


Quantity:  

 


View More In Databases & Big Data.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Name:
Email Address:
Your Message:

Related Best Sellers


Hands-On Machine Learning with Scikit-Learn and TensorFlow: Concepts, Tools, and Techniques to Build Intelligent Systems
By O'Reilly Media
mpn: 45341195, ean: 9781491962299, isbn: 1491962291,

Achieving Buzzword Compliance: Data Architecture Language and Vocabulary
By Technics Publications
ean: 9781634623704, isbn: 1634623703,

Web Corpus Construction (Synthesis Lectures on Human Language Technologies)
By Morgan & Claypool Publishers
mpn: black & white illustrations, ean: 9781608459834, isbn: 1608459837,

Python Data Analytics: Data Analysis and Science using pandas, matplotlib and the Python Programming Language
By Apress
mpn: 607 black & white illustrations, biograp, ean: 9781484209592, isbn: 1484209591,

Domain-Specific Languages in R: Advanced Statistical Programming
By Apress
ean: 9781484235874, isbn: 1484235878,

R for Everyone: Advanced Analytics and Graphics (2nd Edition) (Addison-Wesley Data & Analytics Series)
By Addison-Wesley Professional
ean: 9780134546926, isbn: 013454692X,

Julia for Data Science
By Technics Publications
ean: 9781634621304, isbn: 9781634621304,

MySQL Administrator's Guide and Language Reference (2nd Edition)
By MySQL Press
mpn: illustrations, ean: 9780672328701, isbn: 0672328704,

Introduction to Computing and Algorithms
By Pearson
mpn: Illustrations, ean: 9780201314519, isbn: 0201314517,

Introduction to Information Retrieval
By Brand: Cambridge University Press
mpn: 23882043, ean: 9780521865715, isbn: 0521865719,



Privacy Policy / Terms of Service / Accessibility Statement
© 2020 - translateth.is. All Rights Reserved.