By Peter W. O’Hearn, Robert D. Tennent

To build a compiler for a contemporary higher-level programming languagel one must constitution the interpretation to a machine-like intermediate language in a fashion that displays the semantics of the language. little is expounded approximately such struc­ turing in compiler texts which are meant to hide a large choice of application­ ming languages. extra is expounded within the Iiterature on semantics-directed compiler building [1] yet right here too the perspective is particularly normal (though restricted to one languages with a finite variety of syntactic types). at the different handl there's a substantial physique of labor utilizing the continuation-passing transformation to constitution compilers for the explicit case of call-by-value languages akin to SCHEME and ML [21 3]. ln this paperl we'll describe a style of structuring the interpretation of ALGOL-like languages that's in response to the functor-category semantics devel­ oped by means of Reynolds [4] and Oles [51 6]. an alternate process utilizing type idea to constitution compilers is the early paintings of F. L. Morris [7]1 which anticipates our therapy of boolean expressionsl yet doesn't care for tactics. 2 forms and Syntax An ALGOL-like language is a typed lambda calculus with an strange repertoire of primitive kinds. all through such a lot of this paper we suppose that the primi­ tive forms are comm(and) int(eger)exp(ression) int(eger)acc(eptor) int(eger)var(iable) I and that the set eight of sorts is the least set containing those primitive varieties and closed lower than the binary operation -.

Show description

Read Online or Download ALGOL-like Languages PDF

Best programming: programming languages books

PHP Functions Essential Reference

"PHP capabilities crucial Reference is an in depth and sensible functionality reference for the Hypertext Preprocessor programming language. This operating programmer's advisor covers the center functionality teams plus three hundred extra favourite Hypertext Preprocessor features, and information 800 extra services at the book's site, php-er. com. Written by means of operating builders and Hypertext Preprocessor group leaders, this ebook is stuffed with operating code that utilizers the wealthy number of services to be had with Hypertext Preprocessor.

Der weiße Gürtel in Visual Basic. German

Das Buch vermittelt die Grundlagen von Microsoft visible easy mit vielen ausführlich erklärten Beispielen. Für die praktischen Übungen benötigt der Einsteiger am Anfang lediglich Microsoft notice oder Excel. Der Autor Mr. Thingamy erklärt dem Leser locker und verständlich die wichtigsten Befehle und Anweisungen, ohne auf die komplexen Themen der Programmierwerkzeuge selbst einzugehen.

Embedded C Programming and the Atmel AVR, 2nd Edition

Input the realm of embedded programming and microcontroller purposes! one of many basically books to be had at the present time that makes use of the more and more well known and low in cost Atmel AVR embedded controller because the platform and alertness for studying, Embedded C Programming and the Atmel AVR, 2E is the suitable selection for newbies.

Extra info for ALGOL-like Languages

Sample text

Bn- intacc) .. ·) and BI-(· ..

Sv = S' describes the temporary variable used to store the value of e, which is placed on the stack immediately above the portion described byS'. • S" will be the current stack descriptor just before the assignment sv := r. It may belarger than S' since the stack at this point may include temporaries occurring in r. • S"' = sv + 1 will be the current stack descriptor just after the assignment sv := r. It is just large enough to include the temporary sv. Thus, the effect of the displacement increment [s;;'- s;;1 is to deallocate any temporaries occurring in r and allocate the temporary sv.

The first deficiency is that commands are interpreted in an undesirably operational way: command meanings are functions from an initial state to the (possibly infinite) sequence of all states encountered during execution of the command. This kind of interpretation is undesirable because it distinguishes between commands whose extemally-observable behaviour is identical. But it seemed to be necessary in order to interpret non-interference formulas: C # P asserts that the value of P is invariant throughout any (terminating) execution of command C.

Download PDF sample

Rated 4.58 of 5 – based on 4 votes