<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>in fact highly advanced mainframes with Micro-code like capabilities have been developed with companies such as NEC behind it, the Lisp Machine Engine LIME was one of them, for scheduling of JAR Japan airlines staff and we already have appliances of that kind in Modula-3:<br>http://www.iste.uni-stuttgart.de/fileadmin/user_upload/iste/se/research/publications/download/PraktLehr5.pdf<br><br>So I guess connecting the points there is room for that sort of work, nevertheless it's a kind of hard and brave project.<br>In any event C++ and others are pursuing Lambda Expressions in their Standards I want to allow such kind of work but in DEC-SRC style like Baby Modula-3 (that's where hard part comes from, since it needs work and more work). But first the first, describe the Modula-3 in a sound way is one part of it, formalization of the Language Semantics is

 just another so one we can be absolutely sure of what we are doing (BTW the original implementation of it failed to finish, but LIME was 2 to 10 times faster than any of this market of the day, who knows what would like today be for doing that):<br>http://museum.ipsj.or.jp/en/computer/other/0008.html<br><br>Thanks in advance<br><br><br>--- El <b>vie, 10/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] platform-independent object file linking<br>Para: m3devel@elegosoft.com, "Dirk Muysers" <dmuysers@hotmail.com><br>Fecha: viernes, 10 de febrero, 2012 12:00<br><br><div id="yiv2096444087"><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: in the sense of if at all wanted porting functionality to Modula-3 minimal functional subset language to allow such dynamic implementation and later on pass on Modula-3.  There are some available Models of graft Modular concepts in functional-like languages worth of writing OSes on it (concurrent ones already objected oriented) like Clean and Concurrent Clean and Gofer: http://www4.in.tum.de/~sihling/publications/1995/DA_Sihling.ps.gz ftp://ftp.cs.york.ac.uk/pub/malcolm/thesis.ps.Z Anyway just a possible path of action  Thanks in advance --- El vie, 10/2/12, Daniel Alejandro Benavides D. <dabenavidesd@yahoo.es> escribió: <blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"> De: Daniel Alejandro Benavides D.

 <dabenavidesd@yahoo.es><br>Asunto:

 Re: [M3devel] platform-independent object file linking<br>Para: m3devel@elegosoft.com, "Dirk Muysers" <dmuysers@hotmail.com><br>Fecha: viernes, 10 de febrero, 2012 10:17<br><br><div id="yiv2096444087"><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>nice idea, once it's inly functional would it work for procedural languages?<br>The nice idea of this would port it to Module system of Modula-3 which as I understand (unless it's not Modula-3 own one) is a simplified version (most of researchers didn't concentrate on a single-separate compilation, but distributed aware compilation specially in Modula-2+, in Canada, one can ask the copy and they will send to you once you identify its name).<br>Thanks in advance<br><br>--- El

 <b>vie, 10/2/12, Dirk Muysers <i><dmuysers@hotmail.com></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: Dirk Muysers <dmuysers@hotmail.com><br>Asunto: [M3devel] platform-independent object file linking<br>Para: m3devel@elegosoft.com<br>Fecha: viernes, 10 de febrero, 2012 09:54<br><br><div id="yiv2096444087">

<div>

<div><font face="Arial" size="2">

<div><font face="Arial" size="2">I recently came across an article that might 

interest the community:</font></div>

<div><font face="Arial" size="2"></font> </div>

<div><font face="Arial" size="2"><a rel="nofollow" title="http://nativesystems.inf.ethz.ch/pub/Main/FelixFriedrichPublications/UnifiedStaticDynamicLoading.pdf

CTRL + Click to follow link" target="_blank" href="http://nativesystems.inf.ethz.ch/pub/Main/FelixFriedrichPublications/UnifiedStaticDynamicLoading.pdf">A 

Compiler-Supported Unification of Static and Dynamic Loading</a></font></div>

<div><font face="Arial" size="2">by Felix Friedrich and Florian Negele</font></div>

<div><font face="Arial" size="2"></font> </div>

<div><font face="Arial" size="2">It is about platform-independent linking and 

loading of modules.</font></div>

<div><font face="Arial" size="2">The mechanism is explained in context of 

the A2 (ex-Bluebottle)</font></div>

<div><font face="Arial" size="2">OS and the Active Oberon language, but it is 

easily portable to</font></div>

<div><font face="Arial" size="2">other programming environments and 

languages.</font></div>

<div><font face="Arial" size="2">Its adoption, at the cost of rewriting the backend 

and parts of</font></div>

<div><font face="Arial" size="2">m3core, would </font><font face="Arial" size="2">significantly simplify the maintenance of </font><font face="Arial" size="2">M3 and</font></div>

<div><font face="Arial" size="2">also render it </font><font face="Arial" size="2">independent from proprietary 

tools.</font></div></font></div></div></div></blockquote></td></tr></tbody></table></div></blockquote></td></tr></tbody></table></div></blockquote></td></tr></table>