Login       My Wishlist
  My Cart
$0.00 / 0 items
 
Translate This Website
International Translation Network
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Computers & Technology   Databases & Big Data

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


Blowout Sale! Save 74% 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


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

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)

Brand: Brand: Birkhäuser
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$199.00
$52.78
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 by Brand: Birkhäuser, 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 Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9781617293337, isbn: 1617293334,
Summary Machine Learning Systems: Designs that scale is an example-rich guide that teaches you how to implement reactive design solutions in your machine learning systems to make them as reliable as a well-built web app. Foreword by Sean Owen, Direc...

mpn: 45341195, ean: 9781491962299, isbn: 1491962291,
Graphics in this book are printed in black and white.Through a series of recent breakthroughs, deep learning has boosted the entire field of machine learning. Now, even programmers who know close to nothing about this technology can use simple, effic...

ean: 9781484235874, isbn: 1484235878,
Gain an accelerated introduction to domain-specific languages in R, including coverage of regular expressions. This compact, in-depth book shows you how DSLs are programming languages specialized for a particular purpose, as opposed to general purpos...

mpn: 42527965, ean: 9781491920008, isbn: 1491920009,
Be more productive with the Oracle PL/SQL language. The fifth edition of this popular pocket reference puts the syntax of specific PL/SQL language elements right at your fingertips, including features added in Oracle Database 12c.Whether you’re a d...

ean: 9780134546926, isbn: 013454692X,
Statistical Computation for Programmers, Scientists, Quants, Excel Users, and Other Professionals   Using the open source R language, you can build powerful statistical models to answer many of your most challenging questions. R has traditionally b...

mpn: 978-0-596-51517-1, ean: 9780596515171, isbn: 0596515170,
Masterminds of Programming features exclusive interviews with the creators of several historic and highly influential programming languages. In this unique collection, you'll learn about the processes that led to specific design decisions, including ...

ean: 9783319537320, isbn: 3319537326,
This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umeå, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks ...

ean: 9781491989388, isbn: 1491989386,
This practical guide provides nearly 200 self-contained recipes to help you solve machine learning challenges you may encounter in your daily work. If you’re comfortable with Python and its libraries, including pandas and scikit-learn, you’ll be ...

ean: 9781491978238, isbn: 1491978236,
Natural Language Processing (NLP) offers unbounded opportunities for solving interesting problems in artificial intelligence, making it the latest frontier for developing intelligent, deep learning-based applications. If you’re a developer or resea...

mpn: Illustrations, ean: 9780201314519, isbn: 0201314517,
This work prepares students for the world of computing by giving them a solid foundation in the science of computer science, algorithms. By taking an algorithm-based approach to the subject, this introductory text seeks to help students grasp overall...



Privacy Policy / Terms of Service
© 2018 - translateth.is. All Rights Reserved.