|Coding a translator between languages with high abstraction levels firstname.lastname@example.org (Alfonso Acosta) (2006-11-08)|
|Re: Coding a translator between languages with high abstraction levels DrDiettrich1@aol.com (Hans-Peter Diettrich) (2006-11-08)|
|Re: Coding a translator between languages with high abstraction levels email@example.com (Peter Ludemann) (2006-11-10)|
|Re: Coding a translator between languages with high abstraction levels firstname.lastname@example.org (Christopher Diggins) (2006-11-10)|
|From:||"Christopher Diggins" <email@example.com>|
|Date:||10 Nov 2006 13:19:58 -0500|
My reason in designing the Cat language was specifically for this
purpose, to provide a strongly typed intermediate language for
translation between arbitrary targets. I have a public domain
implementation of the Cat language posted at
http://www.cat-language.com/download.html . The current Cat
specification though is not yet sufficiently expressive to do
arbitrary language translation. Specifically it doesn't yet support
tuples (but that is on the horizon). Anyway, the source code and
language specification might help you in creating the implementation
of an intermediate language.
Let me know if I can help,
On Nov 7, 9:18 pm, "Alfonso Acosta" <alfonso.aco...@gmail.com> wrote:
> Hi all,
> I'm a computer science engineering student, writing his masters thesis
> about a VHDL translator for ForSyDe
> (http://www.imit.kth.se/info/FOFU/ForSyDe/, a Hardware Description
> Language embedded in Haskell,http://www.haskell.org/). ...
> In order to get part of the work for free I decided to design the
> translator as a Haskell compiler backend (ForSyDe is just Haskell
> after all), which would allow me to start the translation at the
> chosen compiler intermidate representation and only leaving
> code-generation left. ...
> Can anyone recommend any books/articles which cover translation
> between high level languages? Pointing to an open source project with
> similar characteristics would also be helpful.
Return to the
Search the comp.compilers archives again.