Related articles |
---|
Mixed compilation dalamb@qucis.queensu.ca (1992-01-31) |
Re: Mixed compilation goldberg@iitmax.iit.edu (Bob Goldberg) (1992-01-31) |
mixed compilation -> partial evaluation dalamb@qucis.queensu.ca (1992-02-01) |
Re: Mixed compilation blenko-tom@CS.YALE.EDU (1992-02-01) |
partial evaluation debray@cs.arizona.edu (Saumya K. Debray) (1992-02-04) |
Re: Mixed compilation daniel@quilty.Stanford.EDU (1992-02-06) |
Newsgroups: | comp.compilers |
From: | dalamb@qucis.queensu.ca (David Lamb) |
Keywords: | optimize, question |
Organization: | Computing & Information Science, Queen's University at Kingston |
Date: | Fri, 31 Jan 1992 14:30:13 GMT |
Does anyone have any references for A.P.Ershov's work in the late 60's or
early 70's on "mixed compilation", or on any modern work that fits the
following description:
Take a code fragment (eg procedure) and specify values for *some* of
the input variables (parameters, tables, etc.) that it reads (and I
presume doesn't write). Wherever the code refers to these
"constants", perform all the usual constant folding, constant
propagation, and so on, generating code only for manipulations that
can't be done at "compile time". The example I especially remember
(from a verbal description about 12 years ago) was taking a
table-driven parser skeleton and a particular parse table, grinding
through the "mixed compilation" system, and winding up with a
"hard-coded" parser that was much faster (albeit larger) than the
original.
I don't care about this specific application; I'd just like to find any
papers giving a clearer description of the technique. I've looked through
all my compiler books and one online compiler bibliography, but can't find
any references.
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.