[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] B natural

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] B natural
Date: Mon, 5 Jun 2006 10:47:38 -0500 (CDT)

On Mon, 5 Jun 2006, Martin Rubey wrote:

| Gabriel Dos Reis <address@hidden> writes:
| > Also, I have been looking for the a formal grammar description of SPAD.
| > Where can I find it?  The AXIOM book seems silent about it....
| Forget about SPAD, go for Aldor.

The source code of the Aldor compiler is not available; SPAD's is.  I
heard there are talks tomove on that front, but how long we have to wait.
I cannot tell my students to wait till next year or so.
Yes, of course I can initiate a mini project where where they will
build an Aldor-like translator, but I rather have them start with a
base code and add transformations or type system convenient features.

| The formal description of aldor starts on page
| 239 (Chapter 22) of the Aldor User Guide. Christian Aistleitner once pointed
| out that it is not completely correct, you have to ask him for details. (He
| even wrote a parser for Aldor in Aldor once, so he knows...)

OK, thanks for the info.

-- Gaby

reply via email to

[Prev in Thread] Current Thread [Next in Thread]