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

Application of Recirculating Aquaculture Systems in Japan

$249.99

Marine and Coastal Ecosystem Valuation, Institutions, and Policy in Southeast Asia

$109.99

Language, Logic and Method

$219.99

Intelligent Computing

$219.99

Efficiency of Growth Drivers

$54.99

Living Otherwise

$49.99

A Vision

$109.99

Prevention of Stroke

$39.99

The AI Revolution: Driving Business Innovation and Research

$199.99

Verification and Evaluation of Computer and Communication Systems

$54.99

Stability of Fluid Motions II

$39.99

International Congress on Energy Efficiency and Energy Related Materials (ENEFM2013)

$129.00

Electric Vehicles and Renewable Generation

$179.99

Womens Colonial Gothic Writing, 1850-1930

$119.99

Probability and Statistics for STEM

$34.99

"Querdenker"

$17.99

Intermittent and Periodic Fasting, Aging and Disease

$199.99

Big Nate: What's a Little Noogie Between Friends?

$8.21

Dienstleistungsnetzwerke

$69.99

Physical Processes in Hot Cosmic Plasmas

$39.99

Cybersecurity in the Electricity Sector

$179.99

Mathematical Theory of Feynman Path Integrals

$44.99

Indigenous Methodologies, Research and Practices for Sustainable Development

$169.99

Nail Disorders

$139.99

Revenge of the Angels

$5.24

Increasing Shareholder Value

$109.99

The Welfare State and the 'Deviant Poor' in Europe, 1870-1933

$39.99

Introduction to Bayesian Methods in Ecology and Natural Resources

$64.99

Climate Change

$169.99

The Practice of Lending

$84.99

Geschfts-Anweisung fr die Oberfrster der Kniglich preuischen Staatsforsten vom 4. Juni 1870 unt

$84.99

The Rationale of Operative Fracture Care

$299.00

Recht fr Ingenieure

$19.99

Stability and Change

$39.99

Economia Matematica

$29.99

Antinomie und Dialektik

$74.99

Distributed Computing and Networking

$84.99

Handbook of Epidemiology

$199.00

Proceedings of 4th International Conference on Frontiers in Computing and Systems

$249.99

Power System Operations

$199.99