From: "Andrew Harris" <and...@gm...>
Subject: Re: [Embeddedml-user] no subject
Date: Tue, 14 Oct 2008 17:43:38 -0400
> Hi Felix,
>
> On Tue, Oct 14, 2008 at 6:46 AM, Felix Winkelmann <fw...@em...> wrote:
> > So if I understand correctly, the C backend of the compiler is
> > trampoline based, right? Does it perform a general CPS conversion (as
> > in smlnj), or is this representation only used for optimization? I
>
> Yes, the C backend is indeed trampoline based -- the trampoline code
> can be found in the main.c file created as the C output. Also, yes,
> the compiler does general CPS conversion. We've defined the compiler
> backend as the very last step of the compilation process, where the
> cps converted, alloc converted and closure converted code is mapped
> into C (or Forth). The compiler is based on Appel's book, so in many
> respects it's probably similar to sml/nj.
Ah, thanks for that information. What sort of garbage collection
algorithm is used, if I may ask?
>
> > read the announcement that you are holding a presentation for
> > FringeDC. Would there be any material of this available after the
> > event?
>
> I actually gave that talk a couple days ago :) I'll send you a link
> to the presentation materials when they get online (hopefully soon).
>
Excellent. Please do so, I'm looking forward to learn more about
embeddedml.
cheers,
felix
--
felix winkelmann, emlix GmbH, http://www.emlix.com, mailto:fw...@em...
Fon +49 551 30664-0, Fax -11, Bahnhofsallee 1b, 37081 Göttingen, Germany
Geschäftsführung: Dr. Uwe Kracke, Dr. Cord Seele, Ust-IdNr.: DE 205 198 055
Sitz der Gesellschaft: Göttingen, Amtsgericht Göttingen HR B 3160
emlix - your embedded linux partner
|
