http://termination-portal.org/mediawiki/api.php?action=feedcontributions&feedformat=atom&user=Fred 2026-04-16T19:10:27Z User contributions MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=Tools:Julia&diff=1030 2009-12-22T08:38:30Z

<p>Fred: Created page with '&lt;!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page y…'</p> <hr /> <div>&lt;!--<br /> Please fill in the data so that your tool can be added to some default<br /> categories and a simple tool page can be created. You may extend<br /> that tool page yourself after the following code block.<br /> <br /> Please use the &quot;publication&quot; field to add a reference to a publication<br /> introducing your tool. The &quot;References&quot; page can be used to enter a bibtex<br /> record for this publication.<br /> Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]<br /> --&gt;<br /> <br /> {{Tool<br /> |shortname= Julia<br /> |longname=<br /> |homepage= http://julia.scienze.univr.it/<br /> |country=Italy and France<br /> |university= University of Verona and University of Reunion<br /> |developers= Fausto Spoto, Fred Mesnard, and Etienne Payet<br /> |publication=<br /> }}<br /> <br /> &lt;!-- If you want to add some additional information to the tool page, you can do so after this comment. --&gt;</div>

Fred