[M3devel] C-- (was: general purpose C libraries (C Kernel))

Wed Jul 13 17:42:58 CEST 2011

Hi all:
I apologize because of I forgot the third link of abstract interpretation:
http://garoche.perso.enseeiht.fr/pub/phd_thesis_garoche.pdf

I suppose this is enough for an ESC in Obliq or network objects wide, somebody recall the network objects RT errors. Can anyone (they also developed the abstract machine for it):
http://garoche.perso.enseeiht.fr/pub/phd_thesis_garoche.pdf

And yet another ç-calculus for containment:
http://people.cs.kuleuven.be/~dave.clarke/papers/thesis.ps.gz

And eventually to som point the same for baby/Modula-3.:
http://basics.sjtu.edu.cn/~yuehg/CONCUR/A%20calculus%20for%20concurrent%20objects%2096.pdf

And abstract machines for distributed object calculus too:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.8767

Besides there are already some effect of Baby Modula-3 in the time has passed with BabyJ, similar but for the JavaScript type inference part. It is a generalization of Baby Modula-3

http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.3910

It has an implementation based on Rhino.
Thanks in advance

--- El mié, 13/7/11, Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es> escribió:

> De: Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es>
> Asunto: Re: [M3devel] C-- (was:  general purpose C libraries (C Kernel))
> Para: m3devel at elegosoft.com, "Hendrik Boom" <hendrik at topoi.pooq.com>
> Fecha: miércoles, 13 de julio, 2011 09:01
> Hi all:
> Actually looking more carefully found an actual Gnu C
> implementation of Obliq (a calculus for it called
> 0jeblik/IAM, initials for In A Moment):
> http://www.daimi.au.dk/~u040896/temp/Speciale/iam.pdf
> 
> Also the specialty of the language developed further work:
> 
> http://www.cs.aau.dk/~kleist/Research/reasoning.pdf
> 
> Also amazingly we would have besides dead-lock free
> (ESC/Modula-3) and lock free and race conditions free
> programs using abstract interpretation:
> 
> This is serious implemented work and well designed I
> believe, I think we can create a genealogy of ç-calculus
> for everything we want in Modula-3 too:
> An actor dedicated process calculus:
> http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.4861
> 
> The abstract interpretation for it:
> http://garoche.perso.enseeiht.fr/pub/phd_thesis_garoche.pdf
> 
> http://www.academypublisher.com/jsw/vol02/no03/jsw02038798.pdf
> 
> And for yet another actor calculus of Aspect-oriented
> programming:
> 
> Besides that, there are formalization of ç-calculus in
> Coq:
> http://hal.inria.fr/docs/00/07/33/82/PDF/RR-3307.pdf
> 
> And Isabelle/HOL (see last link in the current message)
> 
> And the abstract interpretation of it:
> http://phd.di.unipi.it/Theses/PhDthesis_Cataudella.pdf
> 
> And even more, the Abadi-Cardelli abstract machine
> revisited recently:
> http://www.brics.dk/RS/08/5/BRICS-RS-08-5.pdf
> 
> And aspect Oriented programming:
> http://opus.kobv.de/tuberlin/volltexte/2010/2691/pdf/sudhof_henry.pdf
> 
> I hope this devise some more hard work in Modula-3 (and
> Obliq too).
> 
> Thanks in advance
> 
> --- El lun, 11/7/11, Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es>
> escribió:
> 
> > De: Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es>
> > Asunto: Re: [M3devel] C-- (was:  general purpose
> C libraries (C Kernel))
> > Para: m3devel at elegosoft.com,
> "Hendrik Boom" <hendrik at topoi.pooq.com>
> > Fecha: lunes, 11 de julio, 2011 17:13
> > Hi all:
> > perhaps somehow unrelated of the topic but anyway,
> there is
> > a JIT compiler interpreter for for C, a subset and
> superset
> > of it. It's based also in lcc front end, using BURS an
> have
> > apparently good timings (I guess there is one of those
> C--
> > based on lcc as well to generate C, is that true?),
> see:
> > http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.9879
> > 
> > There was also in DEC-SRC a ML, and Lisp
> implementations
> > with Modula-2+ RT, there is one technical report (I
> can't
> > find the reference anymore, later), and there is some
> > material back from 1980s
> > http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.2417
> > 
> > http://mumble.net/~jar/tproject/
> > 
> > There should be copies of those reports for anyone of
> us I
> > believe (Paul McJones is very helpful there, last time
> I
> > wrote him he answered fast):
> > http://www.softwarepreservation.org/projects/LISP/embedded/
> > 
> > In case it matters the probably best thing would be
> to
> > compile JIT everything in Abadi-Cardelli calculus ZINC
> based
> > machine, then compile it to M3CG (see first paragraph
> and
> > previous web pages) to C-- to C and using the
> mentioned
> > compiler run the code, I suppose M3CG has RT support
> doesn't
> > it? I have one target of the C generated code, pretty
> open
> > and compatible:
> > http://www.ncbi.nlm.nih.gov/IEB/ToolBox/SDKDOCS/CORELIB.HTML
> > 
> > I have seen there at DEC worked hard to have good
> compiler
> > infrastructure, the Vesta and Vulcan Development
> Environment
> > bridge are pretty big pieces of work,, from the above
> the
> > most interesting for a possible Baby Modula-3
> > compiler/interpreter is:
> > http://mumble.net/~kelsey/papers/comp-by-prog-trans.ps.gz
> > 
> > Maybe this is enough to build one of such if there is
> value
> > (maybe it is with dynamic linker/optimizer mlcc and
> mld, a
> > Modula-3 linker would help this much too, I'm not
> aware of
> > one in existence, just
> > 
> > http://www.sts.tu-harburg.de/projects/Tycoon/p-quest.html
> > 
> > Which is a very similar so stack representation,
> compiler,
> > interpreter, debugger, linker)
> > 
> > Thanks in advance
> > 
> > --- El vie, 8/7/11, Hendrik Boom <hendrik at topoi.pooq.com>
> > escribió:
> > 
> > > De: Hendrik Boom <hendrik at topoi.pooq.com>
> > > Asunto: Re: [M3devel] C-- (was:  general
> purpose
> > C libraries (C Kernel))
> > > Para: m3devel at elegosoft.com
> > > Fecha: viernes, 8 de julio, 2011 15:16
> > > On Wed, Jul 06, 2011 at 04:53:31PM
> > > -0400, Hendrik Boom wrote:
> > > > On Tue, Jul 05, 2011 at 09:53:43PM -0400,
> Hendrik
> > Boom
> > > wrote:
> > > > > On Tue, Jul 05, 2011 at 08:10:15PM
> +0100,
> > Daniel
> > > Alejandro Benavides D. wrote:
> > > > > > C-- comes handy to this limited
> > portability
> > > tasks, I wonder why people 
> > > > > > don't use it. Maybe the same
> reason
> > about
> > > Modula-3 too.
> > > > > 
> > > > > Perhaps because as far as I know the
> only
> > code
> > > generator for C-- 
> > > > > generates 32-bit Intel code. 
> That
> > doesn't
> > > provide much in the way of 
> > > > > portability.
> > > 
> > > Looking at the current source code for qc--,
> there
> > appear
> > > to be 
> > > filenames for code genreators for the alpha,
> sparc,
> > ia64,
> > > mips, x86.  
> > > How many of these are in working order I don't
> > > know.   There seem to be 
> > > subdirecotries of a test2 directory called ppc,
> > sparc,
> > > x86.  These are 
> > > recognisable processor names, so maybe there's
> hope
> > for
> > > some of these.  
> > > I know the x86 works; I'm using it.  Maybe
> I
> > should
> > > look into ia64 
> > > sometime.
> > > 
> > > Things might possibly not be as dismal as I
> thought.
> > > 
> > > > > 
> > > > > There's rumours of other code
> genrators, but
> > I
> > > haven't seen them yet.
> > > > 
> > > > Here's some info from the C-- site:
> > > > 
> > > > Other C-- compilers
> > > > 
> > > > : Fermin Reig's cmmc is implemented in
> Standard
> > ML on
> > > top of the MLRISC code generator. It emits
> assembly
> > code for
> > > the Alpha, Sparc, and X86. It implements an
> obsolete
> > version
> > > of C-- and is no longer maintained.
> > > > 
> > > > : The Trampoline C-- Compiler by Sergei
> Egorov,
> > which
> > > seems to have disappeared from the Web. The
> Trampoline
> > C--
> > > compiler implements the obsolete May, 1999
> > specification and
> > > compiles to C. The author says: it is slow,
> requires
> > too
> > > much memory, and generates slow C code. But, from
> the
> > other
> > > hand, it implements almost all of original C--
> > specification
> > > (including runtime interface), the generated code
> is
> > > readable, portable, and hopefully correct.
> > > > 
> > > > : The Oregon C-- compiler was the first
> > prototype
> > > implementation of C--, also on top of MLRISC. It
> has
> > been
> > > honorably retired.
> > > > 
> > > > -- http://www.cminusminus.org/code.html
> > > > 
> > > > Note that none of these are the rumoured
> ones I
> > > mentioned.  But 
> > > > that same web page mentions a system called
> > OCamlBurg,
> > > which 
> > > > seems to be a parser generator that parses
> trees
> > > instead of 
> > > > strings.  It can be used for
> instruction
> > > selection in a code 
> > > > generator.  Maybe it's time I looked
> into
> > it.
> > > > 
> > > > -- hendrik
> > > > 
> > > > > 
> > > > > Well, there is a portable byte-code
> > interpreter
> > > written in C, but 
> > > > > that's very specifically not the point
> of
> > C--.
> > > > > 
> > > > > -- hendrik
> > > 
> > > -- hendrik
> > > 
> > >
> >
> 