[M3devel] About Simplify build script platforms and cm3ide service

Daniel Alejandro Benavides D. dabenavidesd at yahoo.es
Tue Mar 29 05:07:56 CEST 2011


Hi all:
some refs I didn't mention where it came from, here:
http://www.cs.nyu.edu/pipermail/smt-lib/2007/000149.html

And further for same knowledge and software theories improvement [1] in:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.4306

[2] in:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.6492

and realized retrospectively on [3], and a newer one [4]

[1] U. Nestmann, H. Hüttel, J. Kleist, and M. Merro, “Aliasing Models for Mobile Objects,” Information and Computation, vol. 175, no. 1, pp. 3-33, May. 2002.

[2] M. Merro, J. Kleist, and U. Nestmann, “Mobile Objects as Mobile Processes,” Information and Computation, vol. 177, no. 2, pp. 195-241, Sep. 2002.

[3] D. Caromel and L. Henrio, A Theory of Distributed Objects, 1st ed. Springer, 2005.

[4] M. Hennessy, A Distributed Pi-Calculus, 1st ed. Cambridge University Press, 2007.

Again, this would useful for such an application extension of DCVS like mercurial, perforce and git rewrite from scratch but in something rely fast and reliable for really distributed computations, don't you think? :)
 
Thanks in advance

--- El lun, 28/3/11, Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es> escribió:

> De: Daniel Alejandro Benavides D. <dabenavidesd at yahoo.es>
> Asunto: [M3devel] About Simplify build script platforms and cm3ide service
> Para: m3devel at elegosoft.com
> Fecha: lunes, 28 de marzo, 2011 14:24
> Hi all:
> I was wondering as I remember Simplify has a component to
> show IO (not sure for input) web page to show results or the
> theorems being proved and their proof and some test suites
> contain test compliant test suites, it seems we surely will
> have to display that for other clients than us, so it might
> be useful to put this tests or runs in the cm3ide server, as
> it allows to show a centralized approach rather than running
> simplify from old binary versions. It is also an opportunity
> to show an application of it, Modula-3 and of an application
> itself and by the way make cm3 improved performance for long
> runs of it since this is really an used tool, thus we can
> show how the compiler can take and how much can be optimized
> for every platform (perhaps to rethink a build script for it
> and perhaps to add optimization backend support port
> of  DS3100 burs based? or full 64 bit support in Win2k,
> xp, 2003, Server, Vista, 7, etc platforms, perhaps better to
> make an
>  improvement over current Win*nix Platforms?
> There are some tools which might use that, I know from two
> sources test suites mentioned coming from ESC in Modula-3,
> Java and later versions
> Originally from the ESC/Modula-3 VCG:
> http://portal.acm.org/citation.cfm?id=1066102&dl=guide&coll=GUIDE
> 
> (In section Source Materials, the second tab, inside
> simplify_benchmarks hyperlink and see
> simplify_benchmarks/format.txt for thge big and small suites
> or download directly from:
> http://delivery.acm.org/10.1145/1070000/1066102/supp/simplify_benchmarks.tar.gz?key1=1066102&key2=3798331031&coll=DL&dl=ACM&CFID=15503308&CFTOKEN=88865083
> 
> 
> )
> 
> later modification of ESC/Java VCG relevant originally in:
> http://replay.waybackmachine.org/20090422004503/http://nemerle.org/~malekith/smt/benchmarks/
> Even other systems like JVM based Whiley, and or so any
> ESC/JVM itself, etc.
>   
> Thanks in advance
> 



More information about the M3devel mailing list