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


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


By O'Reilly Media
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...

By Technics Publications
ean: 9781634623704, isbn: 1634623703,
Understand the language and vocabulary of Data Architecture. The Data Architecture field is rife with terms that have become "fashionable". Some of the terms began with very specific, specialized, meanings - but as their use spread, they lost the p...

By Morgan & Claypool Publishers
mpn: black & white illustrations, ean: 9781608459834, isbn: 1608459837,
The World Wide Web constitutes the largest existing source of texts written in a great variety of languages. A feasible and sound way of exploiting this data for linguistic research is to compile a static corpus for a given language. There are severa...

By Apress
mpn: 607 black & white illustrations, biograp, ean: 9781484209592, isbn: 1484209591,
Python Data Analytics will help you tackle the world of data acquisition and analysis using the power of the Python language. At the heart of this book lies the coverage of pandas, an open source, BSD-licensed library providing high-performance, easy...

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

By Addison-Wesley Professional
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...

By Technics Publications
ean: 9781634621304, isbn: 9781634621304,
Master how to use the Julia language to solve business critical data science challenges. After covering the importance of Julia to the data science community and several essential data science principles, we start with the basics including how to ins...

By MySQL Press
mpn: illustrations, ean: 9780672328701, isbn: 0672328704,
Written by the creators of MySQL and edited by one of the most highly respected MySQL authors, the MySQL Administrator's Guide and Language Reference is the official guide to installing MySQL, to setting up and administering MySQL databases, and to ...

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

By Brand: Cambridge University Press
mpn: 23882043, ean: 9780521865715, isbn: 0521865719,
Class-tested and coherent, this groundbreaking new textbook teaches web-era information retrieval, including web search and the related areas of text classification and text clustering from basic concepts. Written from a computer science perspective ...



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