Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.compilers > #3779

Re: the death of optimization compiler

Show all headers | View raw

anton@mips.complang.tuwien.ac.at [2026-10-16 10:41:59] wrote:
> This reminds me the research project CIP (Computer-Aided,
> Intuition-Guided Programming): They designed a wide-spectrum language
> CIP-L (described in LNCS 183, published 1985) and a program
> transformation system CIP-S (described in LNCS 292, published 1987).
> The idea was that you write a specification in CIP-L, and then tell
> CIP-S to perform various transformation steps, that eventually result
> in an executable and efficient program.
>
> This idea looked interesting, amd I looked in the books, but did not
> find them inspiring apart from the basic idea.  And apparently the
> idea has not taken the world by storm, not even in the research world
> (according to Springer there are 63 citations of LNCS 183 and 45 of
> LNCS 292).

Thanks, I didn't know about that project.

A modern take on a similar idea might be

    https://rise-lang.org/

They claim to be able to generate very efficient parallel numerical code
from a high-level source in a pure functional language.


=== Stefan

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

Thread

the death of optimization compiler Anton Antimo <anton@safunu.org> - 2026-10-12 18:17 -0300
  Re: the death of optimization compiler anton@mips.complang.tuwien.ac.at - 2026-10-16 10:41 +0000
    Re: the death of optimization compiler tfb <tfb@work.it.out> - 2026-10-16 17:52 +0000
    Re: the death of optimization compiler Stefan Monnier <monnier@iro.umontreal.ca> - 2026-10-16 18:52 -0400
      Re: the death of optimization compiler Derek M Jones <derek@knosof.co.uk> - 2026-10-17 20:42 +0100
    Re: the death of optimization compiler Stefan Monnier <monnier@iro.umontreal.ca> - 2026-10-16 18:47 -0400

csiph-web