<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>and your long-waited wished and dreamed C backend code generator could be at hand:<br>http://www.cminusminus.org/<br>http://getglue.com/topics/p/c<br>http://www.cs.virginia.edu/~techrep/CS-98-19.ps.Z<br>http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.8192<br><br>Hopefully some sort of draft of implementation exists for it. Would be nice since the code is still machine level and really portable, so that's even nicer! Have fun (this will make things for porting in Cell phones with Garbage collection support and so on). Also theoretical background is at hand (1), which is nicer again, since translation is smoothly and efficient and correct if semantics are respected.<br><br><br>Thanks in advance<br><br><!--Optional Bullet end-->1.
Rabin, Daniel Eli.
<span class="italic">Calculi for functional programming languages with assignment</span> [Ph.D. dissertation]. United States -- Connecticut:
Yale University;
1996.
Available from: Dissertations & Theses: Full Text.
Accessed June 4, 2011, Publication Number: AAT 9636080.<br>--- El <b>sáb, 4/6/11, Daniel Alejandro Benavides D. <i><dabenavidesd@yahoo.es></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: Daniel Alejandro Benavides D. <dabenavidesd@yahoo.es><br>Asunto: Re: [M3devel] onoing hardware clearance.<br>Para: "m3devel" <m3devel@elegosoft.com>, "Jay K" <jay.krell@cornell.edu><br>Fecha: sábado, 4 de junio, 2011 19:12<br><br><div id="yiv385295365"><table border="0" cellpadding="0" cellspacing="0"><tbody><tr><td style="font-family: inherit; font-style: inherit; font-variant: inherit; font-weight: inherit; font-size: inherit; line-height: inherit; font-size-adjust: inherit; font-stretch: inherit;" valign="top">Hi all:<br>besides BSD-based phones (Motorola lines A###(#) seemed to have their pioneering efforts on Linux and also later BSD) . Also by
the way smartbooks.<br>Thanks to this kind of efforts the possible matrix of ports is humongous.<br>Some work may have been done:<br>http://osdir.com/ml/os.netbsd.ports.alpha/2005-12/msg00004.html<br><br>Thanks in advance<br> <br><br>--- El <b>vie, 3/6/11, Daniel Alejandro Benavides D. <i><dabenavidesd@yahoo.es></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: Daniel Alejandro Benavides D. <dabenavidesd@yahoo.es><br>Asunto: Re: [M3devel] onoing hardware clearance.<br>Para: "m3devel" <m3devel@elegosoft.com>, "Jay K" <jay.krell@cornell.edu><br>Fecha: viernes, 3 de junio, 2011 18:10<br><br><div id="yiv385295365"><table border="0" cellpadding="0" cellspacing="0"><tbody><tr><td style="font-family: inherit; font-style: inherit; font-variant: inherit; font-weight: inherit; font-size: inherit; line-height: inherit; font-size-adjust: inherit; font-stretch:
inherit;" valign="top">Hi all:<br>what about a smart phone zoo; there are some interesting I guess, whether by the processor (though generally ARM), so it might be a good way of recycling that way gaining actually a new machine.<br>My list would go with Symbian, S60, perhaps anything dual core (I know there was something like that in Japan), also what about the Blackberry, and Ipad, I know this is hard work but who else will be willingly to do it It's perhaps something onerous if you don't have so many telecommunications providers, but I guess, it's not too bad to have a few. Surely new Win phones or consoles are good for but I don't more than that. Some people make things such as teleconferences with Kynect, etc,
sort of an example.<br><br>Thanks in advance<br><br>--- El <b>vie, 3/6/11, Jay K <i><jay.krell@cornell.edu></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: Jay K <jay.krell@cornell.edu><br>Asunto: [M3devel] onoing hardware clearance.<br>Para: "m3devel" <m3devel@elegosoft.com><br>Fecha: viernes, 3 de junio, 2011 15:00<br><br><div id="yiv385295365">
<style><!--
#yiv385295365 .yiv385295365hmmessage P
{
margin:0px;padding:0px;}
#yiv385295365 .yiv385295365hmmessage
{
font-size:10pt;font-family:Tahoma;}
--></style>
I'm moving. My hardware clearance needs to widen and accelerate.<br><br><br>I have:<br> old x86 laptops <br> old x86 server ( http://cgi.ebay.com/ws/eBayISAPI.dll?ViewItem&item=120732940601 ) <br> Mac PowerPC laptops <br> iMac G5 <br> AppleTV (1st gen, should make good I386_DARWIN and possibly AMD64_DARWIN node, not yet setup) <br> Alphas <br> SPARC <br> RS/6000 <br> SGI Fuel (2) <br><br><br> Pretty much everything should go.<br> Prices are very negotiable. <br> It'd be cool if I was given ssh access to some but it isn't required. <br> There are several undone/finished ports some of this hardware could support, e.g. PPC32_AIX, PPC64_AIX, MIPS32_IRIX, MIPS64_IRIX, PPC64_DARWIN, PPC64_LINUX, ALPHA32_VMS, ALPHA64_VMS, ALPHA64_FREEBSD, ALPHA64_OPENBSD, ALPHA64_NETBSD, ALPHA32_NT, etc.
<br> I have 3 or so Hudson nodes: I386_LINUX, I386_OPENBSD, PPC_LINUX<br> x86 machines can be VMs and/or in the "cloud", and I386_OPENBSD and PPC_LINUX probably have no users (and a C backend moots having to test as much) <br> I386_DARWIN, AMD64_DARWIN I'm keeping <br><br> - Jay<br>
</div></blockquote></td></tr></tbody></table></div></blockquote></td></tr></tbody></table></div></blockquote></td></tr></table>