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
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  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  and Oles [51 6]. An alternative approach using category theory to structure compilers is the early work of F. L. Morris 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 -.
|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|
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.
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...
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...
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 ...
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 ...