<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>Interestingly Java had (along ago) UNSAFE extensions into the language:<br>
http://groups.google.com/group/microsoft.public.dotnet.general/browse_thread/thread/bdbaaafa49579931/d9a25710e7e1cdc4%3Fq%3D%2522David%2BChase%2522%23d9a25710e7e1cdc4&ei=iGwTS6eaOpW8Qpmqic0O&sa=t&ct=res&cd=49&source=groups&usg=AFQjCNGAFKXr0Lh9Zhp47J8i8nnVUMePyw<br><br>I insist we should get back the Original test suite of SUN, this would help so much the Modula-3 RT (remember this guys worked hard in Modula-3 until the compiler got unsupported or at least until they thought it wouldn't get that much support).<br><br>Thanks in advance<br><br><br>--- El <b>vie, 17/2/12, 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] Think we need a new release. C target<br>Para: "Dragiša Durić"
 <dragisha@m3w.org><br>CC: "m3devel" <m3devel@elegosoft.com>, "Jay" <jay.krell@cornell.edu><br>Fecha: viernes, 17 de febrero, 2012 07:26<br><br><div id="yiv890988570"><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>I don't think that's the case, Java has a JNI and it can work, but CM JVM is just a lot safer and easier to use, direct access to C code of the RT and you know what is better than that out there, in case of an attack? Modula-3 + Java seems the combination to win for me, ESC for both, I mean and what else do you need?<br><br>The point of what is Modula-3 a Systems Programming Language doesn't change that it is easier to deal with UNSAFE code, still we could add a keyword for say PROVED to allow the
 back-end check only for correct optimizations on it or to check UNSAFE code allowed to do so in either Java or Modula-3 or C. I don't care too much about PROVED or UNSAFE modules but more normal code and that's where Modula-3 could be helped by JVM dynamic verification (that said, it is not the best thing to do because this requires a lot of smart checking,
 I can give you an example of a program in Java that still manages to corrupt any class file in the cd, fooling the JVM) without JVM doing that much. That said compiler verification is much harder than normal checking, still there is research to allow one to do so.<br>Thanks in advance<br><br>--- El <b>vie, 17/2/12, Dragiša Durić <i><dragisha@m3w.org></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: Dragiša Durić <dragisha@m3w.org><br>Asunto: Re: [M3devel] Think we need a new release. C target<br>Para: "Daniel Alejandro Benavides D." <dabenavidesd@yahoo.es><br>CC: "Jay" <jay.krell@cornell.edu>, "m3devel" <m3devel@elegosoft.com><br>Fecha: viernes, 17 de febrero, 2012 06:29<br><br><div id="yiv890988570"><div>To port to JVM or Javascript, you have to throw through the window a lot of what Modula-3 is. You will get, in best case, part of
 Modula-3.<div><br></div><div>On the other side, targeting to C (or C++) and losing object model from sight (while debugging), ie losing or distorting, also looks like an horrible side effect to me.</div><div><br></div><div>It looks like the best direction to concentrate effort is current GCC (a lot of platforms) and LLVM ((almost) new kid on the block with many good promises). The best thing about LLVM target is - IM is standardized and fully documented. Since we all know what pain is tagging along behind GCC IM (thanks to RMS losing licensing battle to SRC), LLVM looks like a promise of future freedom for Modula-3. Maye some day we will not be traumatized by every major (and most minor) GCC releases.</div><div><br></div><div>BTW, freepascal has it's own backend infrastructure. Maybe worth a try.</div><div><br></div><div>dd</div><div><br></div><div><br><div><div>On Feb 15, 2012, at 8:57 PM, Daniel Alejandro Benavides D. wrote:</div><br
 class="yiv890988570Apple-interchange-newline"><blockquote type="cite"><span class="yiv890988570Apple-style-span" style="border-collapse: separate; font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; font-size: medium;"><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>The point is whether we want to migrate our current RT to C or JavaScript, my question is why not (Java/) JVM or Obliq.</td></tr></tbody></table></span></blockquote></div><br></div></div></div></blockquote></td></tr></tbody></table></div></blockquote></td></tr></table>