Be the first to post a text review of eXtensible Abstract State Machines. Rate and review a project by clicking thumbs up or thumbs down in the right column.

• Eclipse OCL, XOCL, and XASM

  We are currently thinking about relaunching XASM and XOCL as one language with two different kinds of syntax. Any comments and input are welcome!

  posted by pwkutter 723 days ago

• File released: /Gem-Mex/5.2-8-i86pc-linux/gem-mex-5.2-8-i86pc-linux-RH9-TclPro1.4.tgz

  posted 2220 days ago

• Gem-Mex 5.2-8-i86pc-linux file released: gem-mex-5.2-8-i86pc-linux-RH9-TclPro1.4.tgz

  posted 2221 days ago

• New Release, Request for Support

  We just released a new binary release of Xasm (gem-mex-5.2-8-i86pc-linux at http://www.xasm.org) which runs on the newest versions of Suse and RedHat. We tested Suse 8.0 and RedHat 8.0. If someone has access to other machines for testing, would be great to tell us. (for Suse 7.3, the 5.2-7 release works, for Solaris and Windows only outdated releases are available currently, we are working on new ones) The sources are still not in the CVS tree of the sourceforge page, because we are not having the resources to get it done properly. Therefore we are looking for an academic or industrial entity (a professor and his/her group, a research project, an open-source oriented company) which is interested to maintain the Xasm sources. Of course Matthias and me will continue supporting the project. Currently open issues are: - Integrating Montage's support for attribute grammars into Xasm. - Finalizing the Formal Semantics of Xasm. We have submitted a formal semantics to ASM'03, but where told by a referee that "it is not necessary to repeat the same mistake as in the Lipari-Guide and other definitions". We definitively need help to do it better. - More examples. The included Montages projects generate 74'741 lines of ASM code which we regularly recompile with Xasm and which are actively used. This ASM code does compile and execute independently of Montages. In addition, most paper-examples using Lipari ASM should run, and could be added as example. From this material, a set of small and instructive examples should be extracted. On behalf of the Xasm team, Philipp PS: The Xasm applications of Juergen Teich and Ralph Weper, have been mentioned in the press: "And Jrgen Teich and Ralph Weper of the University of Paderborn, Germany, have created a joined architecture/ compiler environment that can generate implementations of architecture-specific instruction-set processors automatically; the instruction-set simulators and corresponding compilers use abstract state machine methodology..." http://www.eet.com/story/OEG20010216S0024

  posted by pwkutter 2499 days ago

• File released: /Gem-Mex/5.2-8-i86pc-linux/gem-mex-5.2-8-i86pc-linux-SuSE8.tgz

  posted 2499 days ago

• File released: /Gem-Mex/5.2-8-i86pc-linux/gem-mex-5.2-8-i86pc-linux-RH8-TclPro1.3.tgz

  posted 2500 days ago

• File released: /Gem-Mex/5.2-8-i86pc-linux/gem-mex-5.2-8-i86pc-linux-RH7.tgz

  posted 2500 days ago

• File released: /Gem-Mex/5.2-8-i86pc-linux/gem-mex-5.2-8-i86pc-linux-RH8.tgz

  posted 2500 days ago

• Gem-Mex 5.2-8-i86pc-linux file released: gem-mex-5.2-8-i86pc-linux-SuSE8.tgz

  posted 2500 days ago

• Gem-Mex 5.2-8-i86pc-linux file released: gem-mex-5.2-8-i86pc-linux-RH8-TclPro1.3.tgz

  posted 2501 days ago