Re: Are there "compiler generators"?

Fernando <pronesto@gmail.com>
Sun, 29 May 2022 05:00:47 -0700 (PDT)

          From comp.compilers
Related articles
Are there "compiler generators"? costello@mitre.org (Roger L Costello) (2022-05-28)
Re: Are there "compiler generators"? robin51@dodo.com.au (Robin Vowels) (2022-05-29)
Re: Are there "compiler generators"? 0xe2.0x9a.0x9b@gmail.com (Jan Ziak) (2022-05-28)
Re: Are there "compiler generators"? anton@mips.complang.tuwien.ac.at (2022-05-29)
Re: Are there "compiler generators"? tkoenig@netcologne.de (Thomas Koenig) (2022-05-29)
Re: Are there "compiler generators"? martin@gkc.org.uk (Martin Ward) (2022-05-29)
Re: Are there "compiler generators"? pronesto@gmail.com (Fernando) (2022-05-29)
Re: Are there "compiler generators"? gah4@u.washington.edu (gah4) (2022-05-29)
Re: Are there "compiler generators"? anton@mips.complang.tuwien.ac.at (2022-05-30)
Re: Are there "compiler generators"? DrDiettrich1@netscape.net (Hans-Peter Diettrich) (2022-05-30)
Re: Are there "compiler generators"? 480-992-1380@kylheku.com (Kaz Kylheku) (2022-05-30)
Re: Are there "compiler generators"? DrDiettrich1@netscape.net (Hans-Peter Diettrich) (2022-05-31)
Re: Are there "compiler generators"? gah4@u.washington.edu (gah4) (2022-05-31)
[6 later articles]
| List of all articles for this month |
From: Fernando <pronesto@gmail.com>
Newsgroups: comp.compilers
Date: Sun, 29 May 2022 05:00:47 -0700 (PDT)
Organization: Compilers Central
References: 22-05-054
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="54654"; mail-complaints-to="abuse@iecc.com"
Keywords: tools, theory
Posted-Date: 29 May 2022 18:17:18 EDT
In-Reply-To: 22-05-054

Hi Roger.


At least in theory, the Second Futamura Projection (of which there are three
of them) would generate a compiler. That's a way to do partial program
evaluation (https://en.wikipedia.org/wiki/Partial_evaluation). There have been
research papers about it, demonstrating that one can indeed generate compilers
out of partial evaluation, eg.:


* An experiment in partial evaluation: the generation of a compiler generator.
ND Jones et al. 1985
* A compiler generator produced by a self-applicable specializer can have a
surprisingly natural and understandable structure. SA Romanenko, 1988
* Practical second Futamura projection: partial evaluation for
high-performance language interpreters. F Latifi, 2019
* Etc


Regards,


Fernando


On Saturday, May 28, 2022 at 11:16:21 PM UTC-3, Roger L Costello wrote:
> Hi Folks,
>
> There are lexer generators. Flex is a lexer generator.
> There are parser generators. Bison is a parser generator.
> Are there compiler generators?

Post a followup to this message

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