[M3devel] platform-independent object file linking

[Daniel Alejandro Benavides D.]

Hi all:
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:
http://www.iste.uni-stuttgart.de/fileadmin/user_upload/iste/se/research/publications/download/PraktLehr5.pdf

So I guess connecting the points there is room for that sort of work, nevertheless it's a kind of hard and brave project.
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):
http://museum.ipsj.or.jp/en/computer/other/0008.html

Thanks in advance


--- El vie, 10/2/12, Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es> escribió:

De: Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es>
Asunto: Re: [M3devel] platform-independent object file linking
Para: m3devel at elegosoft.com, "Dirk Muysers" <dmuysers at hotmail.com>
Fecha: viernes, 10 de febrero, 2012 12:00

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 at yahoo.es> escribió:

De: Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es>
Asunto:
 Re: [M3devel] platform-independent object file linking
Para: m3devel at elegosoft.com, "Dirk Muysers" <dmuysers at hotmail.com>
Fecha: viernes, 10 de febrero, 2012 10:17

Hi all:
nice idea, once it's inly functional would it work for procedural languages?
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).
Thanks in advance

--- El
 vie, 10/2/12, Dirk Muysers <dmuysers at hotmail.com> escribió:

De: Dirk Muysers <dmuysers at hotmail.com>
Asunto: [M3devel] platform-independent object file linking
Para: m3devel at elegosoft.com
Fecha: viernes, 10 de febrero, 2012 09:54



 


I recently came across an article that might 
interest the community:
 
A 
Compiler-Supported Unification of Static and Dynamic Loading
by Felix Friedrich and Florian Negele
 
It is about platform-independent linking and 
loading of modules.
The mechanism is explained in context of 
the A2 (ex-Bluebottle)
OS and the Active Oberon language, but it is 
easily portable to
other programming environments and 
languages.
Its adoption, at the cost of rewriting the backend 
and parts of
m3core, would significantly simplify the maintenance of M3 and
also render it independent from proprietary 
tools.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20120210/0c74d194/attachment-0002.html>