🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.sys.super
Article #224

Generating Source Code out of Algebra

#224
From: R. De Langhe CAMME project
Date: Fri, 17 Aug 1990 10:27
34 lines
2014 bytes
Hello world !

On our site, lots of scientists are developping modeling programs to
simulate all kinds of hydrodynamical systems like oil-slick evolution,
wave-height predictions, etc.
The problem for these guys, as for all scientists using computers I guess,
is that they are stuck to that little bit of programming languages they
know : FORTRAN. Creating code that runs under every input data, produces
results, or even results that might be correct, takes several weeks per
tiny peace of code.

I was thinking that the biggest problem for them is : converting their
(often genious) algebra-solutions for a given model, into some
programming language like FORTRAN they're not used to 'speak'.

Would it not be much more easy and efficient if these scientists could
use an algebra-like programming language, in which they can easily recognize
errors, or proof correctness of an algorithm, etc. and let some kind of a
source-code generator parse their expressions into C (or FORTRAN) ?
The resulting program would even be quite efficient, because the
problems they study involve often many thousands of matrix-elements to
compute (on a supercomputer).

Therefore I'd like to ask for opinions about this problem, and if someone
has developped or has under development such algebra-syntax parser/code
generator.

The machines we are working which all run under UNIX bsd 4.2 and have
(vectorising) C and FORTRAN compilers.

Please email your opinions and suggestions to me.

Thanks !
Rob
Technical Details
Message-ID: <1116@camme.UUCP>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!uakari.primate.wisc.edu!aplcen!uunet!mcsun!ub4b!camme!cammerdl

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!uakari.primate.wisc.edu!aplcen!uunet!mcsun!ub4b!camme!cammerdl
From: cammerdl@camme.UUCP (R. De Langhe CAMME project)
Newsgroups: comp.sys.super,comp.theory,sci.math.symbolic
Subject: Generating Source Code out of Algebra
Message-ID: <1116@camme.UUCP>
Date: 17 Aug 90 10:27:00 GMT
Reply-To: cammerdl@camme.UUCP ()
Followup-To: comp.sys.super
Organization: MUMM - CAMME  Brussels
Lines: 34
Cc: camme@camme.uucp