Optimization in the presence of inconvenient language features?

johnl@ima.UUCP (Compilers moderator)
15 Apr 86 03:40:59 GMT

          From comp.compilers

Related articles
Optimization in the presence of inconvenient language features? johnl@ima.UUCP (1986-04-15)
| List of all articles for this month |

Relay-Version: version B 2.10.2 9/12/84; site mit-prep.ARPA
Posting-Version: version B 2.10.2 9/18/84; site ima.UUCP
From: johnl@ima.UUCP (Compilers moderator)
Newsgroups: mod.compilers
Date: 15 Apr 86 03:40:59 GMT
Article-I.D.: ima.196
Posted: Mon Apr 14 22:40:59 1986
Date-Received: 17 Apr 86 12:21:21 GMT
Originally-from: harvard!seismo!mcvax!lifia!hubert (Hubert GARAVEL)

          Does anybody have knowledge or experience about control- and data-flow
analysis in presence of languages features such as:

(1) Exceptions (with termination or resumption mechanisms)

(2) Procedures and functions which can be treated as ordinary variables
(ie when you can assign a procedure variable and call it later)

(3) Aliasing problems when pointers can refer to stack-objects as well as
heap-objets (eg in C language, you can write P = &A).

(4) Separate compilation facilities (By the way, notice that the compi-
lation order defined by Ada's "separate" clause is just the opposite of
"reverse calling order" suited for analyzing the side-effects of a proce-

(5) All the former characteristics simultaneously present in a language

                                          Merci d'avance

UUCP: ... {mcvax, vmucnam} ! lifia ! hubert
Send submissions to: ima!compilers

ima is reachable as { ucbvax!cbosgd | ihnp4 | cca | bbncca | think |
uiucdcs | allegra | inmet | yale | harvard }!ima!...
Arpa mail may make it to ima!compilers@CCA-UNIX or ima!compilers@BBNCCA

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.