Algol-like Languages : Progress in Theoretical Computer Science - Peter O'Hearn

Algol-like Languages

By: Peter O'Hearn, Robert Tennent

Paperback | 3 March 2013

At a Glance

Paperback


$176.90

or 4 interest-free payments of $44.23 with

 or 

Aims to ship in 7 to 10 business days

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

Other Editions and Formats

Hardcover

Published: 1st December 1996

More in Computer Programming & Software Development

Terraform Cookbook : Recipes for Codifying Infrastructure - Kerim Satirli
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$50.35

33%
OFF
Play Nice : The Rise, Fall, and Future Of Blizzard Entertainment - Jason Schreier
The Art of SEO : Mastering Search Engine Optimization - Stephan Spencer
C++ How to Program, Global Edition : 11th Edition - Paul Deitel

RRP $161.17

$129.75

19%
OFF