Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Algol-like Languages

Algol-like Languages

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780817639372
Condition
New
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 -.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Moral Change

$79.99

Yearbook of Morphology 1996

$109.99

Z User Workshop, York 1991

$54.99

Fallrepetitorium Vlkerrecht

$19.95

"Risikobiografien"

$69.99

Pulmonary Pathology

$299.99

Tides in Astronomy and Astrophysics

$39.99

Theological Anthropology in the Anthropocene

$119.00

Novelists on Novelists

$84.99

Computer Logic

$54.99

sthetische Grundbegriffe

$89.99

Elemente der Musikinformatik

$44.99

Was Lehrt uns die Radioaktivitt ber die Geschichte der Erde?

$74.99

Female Genital Mutilation/Cutting in Children and Adolescents

$49.99

Roadmap for Global Sustainability Rise of the Green Communities

$84.99

Closing the Achievement Gap from an International Perspective

$129.00

Information Hiding

$39.99

Education and Social Justice

$109.99

Das Ziel ist im Weg

$34.99

Assessment, Learning and Judgement in Higher Education

$169.99

Rheological Fundamentals of Polymer Processing

$499.99

Hierarchies in Neurology

$39.99

AIME 87

$109.99

Behavioral Issues in Operations Management

$84.99

Praktische Physik

$59.99

Introduction to Infrastructure as Code

$37.99

Characterizing Interdependencies of Multiple Time Series

$59.99

State of the Universe 2008

$29.95

Soil and Water Quality at Different Scales

$169.99

World Citizenship and Government

$109.99

Childrens Literature

$64.99

Geomatik

$39.99

The Human Psyche

$84.99

Kugelpackungen von Kepler bis heute

$29.99

Advances in Biochemical Engineering

$74.99

Melissa (formerly published as GEORGE)

$6.74

Measurement of Ion Transport and Metabolic Rate in Insects

$109.99

Die Hydrolisierenden Enzyme der Ester, Kohlenhydrate und Glukoside

$44.99

1989 2nd European Conference on Architecture

$109.99

Entwicklung einer konomik Sozialer Arbeit aus der Retrospektive

$54.99