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

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 manner that displays the semantics of the language. little is related approximately such struc­ turing in compiler texts which are meant to hide a wide selection of application­ ming languages. extra is expounded within the Iiterature on semantics-directed compiler building [1] yet right here too the point of view is especially normal (though constrained 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 comparable to SCHEME and ML [21 3]. ln this paperl we are going to describe a mode of structuring the interpretation of ALGOL-like languages that's in line with the functor-category semantics devel­ oped by way of Reynolds [4] and Oles [51 6]. another strategy utilizing classification 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 strategies. 2 forms and Syntax An ALGOL-like language is a typed lambda calculus with an strange repertoire of primitive varieties. all through so much of this paper we think 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 sorts is the least set containing those primitive forms and closed less than the binary operation -.

Show description

Read Online or Download ALGOL-like Languages PDF

Similar programming: programming languages books

Fortran 90 for Fortran 77 programmers

The good fortune of Fortran because the principal programming language within the box of clinical and numerical computing is due, partly, to its regular evolution. Following the booklet of criteria in 1966 and 1978, the committee chargeable for their improvement, X3J3, labored along with an ISO committee to boost a customary appropriate to be used within the 1990's and past.

Additional info for ALGOL-like Languages

Example text

However, wehavenot yet pursued this topic beyond intuitive arguments. Acknowledgements This research was sponsored in part by National Science Foundation Grant CCR8922109 andin part by a fellowship from the Science and Engineering Research Council. References [1) jones, N. D. and Schmidt, D. A. Compilergeneration from denotational semantics. In Semantics·Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, edited by N. D. Jones. Lecture Notes in Computer Science, vol.

O’Hearn et al. ), Algol -like Languages © Springer Science+Business Media New York 1997 42 Chapter 13. Semantical Analysis of Specification Logic Specification logic is essentially a many-sorted first-order theory, with Hoare triples as atmnic formulas, and conventional logical connectives, such as conjunction, implication, and quantification. There are some additional atomic formulas to permit expression of certain kinds of assumptions about free identifiers, such as non-inter(erence. A fairly conventional semantics for specification logic is outlined in (Reynolds, 1981 a); however, it has been known for some time that this model has two fundamental deficiencies.

E and commlike that appear in (Reynolds, 1981a, Reynolds, 1982) can be dispensed with when dealing only with the basic axioms (rather than the derived rules, such as the rules for procedure declaration). In a conventional semantics with a fixed set S of states, [val[ T]] would be the flat domain obtained by "lifting" the set [T] of T-values, [exp[T]] would be the domain of functions from S to [val[Tl], [comm] would be the domain of partial functions on S, [ acc [T]] would be the domain of functions from [ T] to [comm], [0- 0'] would be the domain of continuous functions from [0] to [0'], [assert] would be the set of functions from S to truth values, [ß- oc] would be the set of all functions from [ß] to [oc], and [spec] would be the set of truth values.

Download PDF sample

Rated 4.94 of 5 – based on 47 votes