Forim@ge Books > Programming Programming Languages > ALGOL-like Languages by Peter W. O’Hearn, Robert D. Tennent

ALGOL-like Languages by Peter W. O’Hearn, Robert D. Tennent

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 wide selection of application­ ming languages. extra is related within the Iiterature on semantics-directed compiler building [1] yet the following too the perspective is particularly basic (though restricted to at least 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 categorical case of call-by-value languages similar to SCHEME and ML [21 3]. ln this paperl we are going to describe a style of structuring the interpretation of ALGOL-like languages that's in line with the functor-category semantics devel­ oped through Reynolds [4] and Oles [51 6]. another process utilizing class conception to constitution compilers is the early paintings of F. L. Morris [7]1 which anticipates our remedy of boolean expressionsl yet doesn't take care of techniques. 2 varieties and Syntax An ALGOL-like language is a typed lambda calculus with an strange repertoire of primitive varieties. all through such a lot of this paper we imagine that the primi­ tive varieties are comm(and) int(eger)exp(ression) int(eger)acc(eptor) int(eger)var(iable) I and that the set eight of varieties is the least set containing those primitive forms and closed below the binary operation -.

Show description

Read or Download ALGOL-like Languages PDF

Similar programming: programming languages books

Design Patterns and Object Oriented Programming in Visual Basic 6 and VB.NET

This advisor presents guideline for utilizing layout styles in day-to- day programming. It deals suggestion for VB6 programmers on migrating to VB. web and applying its object-oriented positive aspects. every one bankruptcy describes a layout trend and gives operating visible examples of its software. UML diagrams illustrate the kin among many of the chapter-projects.

User Manual Java WIFA Руководство пользователя к мобильному телефону ZOHO V709

Описание функций, возможностей,меню, технических характеристик китайского айфоноподобного мобильного телефона ZOHO V709.

Скриншот

Скан: hobs

Learning to Program the Object-oriented Way with C#

C# is a brand new, object-oriented language that may be used to write down quite a lot of purposes for the recent Microsoft . web platform - purposes that may be allotted over the net. it truly is a terrific language for the hot programmer. studying to software the Object-Oriented manner with C# indicates you the way to programme with C#, utilizing an object-oriented method.

Additional resources for ALGOL-like Languages

Example text

Then, by the definition of -, if [C]Xu(f,Q ;g,R; rz1; rz2)Zo is defined, it is equal to [C]X u(f, Q; g,R; r Zv)Zo. I For new-variable declarations, we first define a functor expandT: X- X for each data type T as follows: expandT (X) = X X [T ]X expandT(f, Q:X- Y) = fT, QT where fT(x, v) = (f(x), v) and (xo, Vo) QT (x1, v1) iff xoQx1. ::____:..

R1. \S'" . \rz. ßS"'(rl + rz))))). 9 Variable Declarations The other construct for which translation involves storage allocation is the variable declaration. Suppose c is a command in which free occurrences of the identifier L have type intvar. Then the translation of the command new t: intvar in c gives an instruction sequence that allocates a new variable, initializes it (say, to zero), executes c, deallocates the new variable, and finally executes the continuation to be done after the whole command.

496-517. [4] Reynolds, J. C. The essence of ALGOL In Algorithmic Languages, Proceedings of the International Symposium on Algorithmic Languages, Amsterdam, October 26-29, edited by J. W. de Bakker and J. C. van Vliet. North-Holland, Amsterdam, 1981, pp. 345-372. See Chapter 3. [5) Oles, F. j. A Category-Theoretic Approach to the Semantics of Programming Languages, Ph. D. Dissertation. Syracuse University, August 1982, vi+240 pp. See Chapter 11. [6) Oles, F. J. Type algebras, functor categories, and block structure.

Download PDF sample

Rated 4.58 of 5 – based on 4 votes