From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2982 invoked by alias); 18 Dec 2002 16:38:54 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 2973 invoked from network); 18 Dec 2002 16:38:52 -0000 Received: from unknown (HELO nile.gnat.com) (205.232.38.5) by 209.249.29.67 with SMTP; 18 Dec 2002 16:38:52 -0000 Received: by nile.gnat.com (Postfix, from userid 338) id B6797F2D84; Wed, 18 Dec 2002 11:38:39 -0500 (EST) To: pop@gauvain.u-strasbg.fr, velco@fadata.bg Subject: Re: source mgt. requirements solicitation Cc: gcc@gcc.gnu.org, torvalds@transmeta.com, zack@codesourcery.com Message-Id: <20021218163839.B6797F2D84@nile.gnat.com> Date: Wed, 18 Dec 2002 09:06:00 -0000 From: dewar@gnat.com (Robert Dewar) X-SW-Source: 2002-12/txt/msg01131.txt.bz2 > Maybe it's true because for writing compiler optimizations one > should have some knowledge in mathematics. Most of the new techniques > developped for optimizing compilers use abstract representations > based on mathematical objects (such as graphs, lattices, vectorial spaces, > polyhedras, ...) Indeed, and the model of miscelleaneous local tinkering with a compiler by people who do not know the entire environment is a risky one.