Re: Are there "compiler generators"?

From	Fernando <pronesto@gmail.com>
Newsgroups	comp.compilers
Subject	Re: Are there "compiler generators"?
Date	2022-05-29 05:00 -0700
Organization	Compilers Central
Message-ID	<22-05-060@comp.compilers> (permalink)
References	<22-05-054@comp.compilers>

Show all headers | View raw

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?

Back to comp.compilers | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Are there "compiler generators"? Roger L Costello <costello@mitre.org> - 2022-05-28 22:27 +0000
  Re: Are there "compiler generators"? "Robin Vowels" <robin51@dodo.com.au> - 2022-05-29 13:34 +1000
  Re: Are there "compiler generators"? Jan Ziak <0xe2.0x9a.0x9b@gmail.com> - 2022-05-28 23:52 -0700
  Re: Are there "compiler generators"? anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2022-05-29 06:45 +0000
  Re: Are there "compiler generators"? Thomas Koenig <tkoenig@netcologne.de> - 2022-05-29 09:14 +0000
    Re: Are there "compiler generators"? Hans-Peter Diettrich <DrDiettrich1@netscape.net> - 2022-05-30 14:53 +0200
      Re: Are there "compiler generators"? Hans-Peter Diettrich <DrDiettrich1@netscape.net> - 2022-05-31 12:57 +0200
        Re: Are there "compiler generators"? gah4 <gah4@u.washington.edu> - 2022-05-31 16:55 -0700
          RE: Are there compiler generators? Christopher F Clark <christopher.f.clark@compiler-resources.com> - 2022-06-01 14:07 +0300
  Re: Are there "compiler generators"? Martin Ward <martin@gkc.org.uk> - 2022-05-29 12:00 +0100
    Re: Are there "compiler generators"? anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2022-05-30 07:35 +0000
  Re: Are there "compiler generators"? Fernando <pronesto@gmail.com> - 2022-05-29 05:00 -0700
  Re: Are there "compiler generators"? gah4 <gah4@u.washington.edu> - 2022-05-29 23:29 -0700
    Re: Are there "compiler generators"? mac <acolvin@efunct.com> - 2022-06-09 14:12 +0000
  Re: Are there "compiler generators"? Kaz Kylheku <480-992-1380@kylheku.com> - 2022-05-30 20:20 +0000

csiph-web