Skip to content

Commit

Permalink
a couple of improvements for TXL, adding it to the Tank
Browse files Browse the repository at this point in the history 
git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1090 ab42f6e0-554d-0410-b580-99e487e6eeb2
  • Loading branch information
@grammarware
grammarware committed Jun 10, 2011
1 parent a76c7f5 commit 37a2485
Show file tree
Hide file tree
Showing 2 changed files with 42 additions and 16 deletions.
40 changes: 29 additions & 11 deletions _dev/tank.xml
View file
Expand Up @@ -24,6 +24,17 @@
<name>BGF⇒Rascal</name>
</link>
</toolset>
<toolset name="txl2bgf">
<name>Extraction</name>
<link>
<mu>topics/grammars/metasyntax/txl/TXLGrammar/Txl/txl.grm</mu>
<name>txl.grm</name>
</link>
<link>
<mu>topics/extraction/txl/txl2bgf.xslt</mu>
<name>txl2bgf.xslt</name>
</link>
</toolset>
<toolset name="sdf2bgf">
<name>Extraction</name>
<link>
Expand Down Expand Up @@ -194,17 +205,7 @@
<name>SVN</name>
</link>
</source>
<toolset>
<name>Extraction</name>
<link>
<mu>topics/extraction/txl/TXLGrammar/Txl/txl.grm</mu>
<name>txl.grm</name>
</link>
<link>
<mu>topics/extraction/txl/txl2bgf.xslt</mu>
<name>txl2bgf.xslt</name>
</link>
</toolset>
<toolset ref="txl2bgf"/>
<item ref="phd"/>
</grammar>
</version>
Expand Down Expand Up @@ -582,6 +583,23 @@
</toolset>
</grammar>
</version>
<version>
<name>TXL</name>
<grammar>
<name>Extracted</name>
<handle>metasyntax/txl</handle>
<source>
<title>James R. Cordy, <em xmlns="http://www.w3.org/1999/xhtml">Validated TXL Basis Grammar for TXL 10.5</em></title>
<specific>Version 1.0</specific>
<date>February 2009</date>
<link>
<uri>http://www.txl.ca/</uri>
<name>TXL</name>
</link>
</source>
<toolset ref="txl2bgf"/>
</grammar>
</version>
<version>
<name>YACC</name>
<grammar>
Expand Down
18 changes: 13 additions & 5 deletions tank/index.html
View file
Expand Up @@ -13,7 +13,7 @@
</script></head><body style="background-color:#9C9;"><h1>Software Language Processing Suite</h1><h1><a href="../zoo/">Grammar Zoo</a> | Grammar Tank</h1><div class="c"><em>
The objective of the Grammar Tank is to compose a grammar base of multiple different
grammars for the same intended language to be used in language engineering research.
</em></div><h2>51 grammars and counting</h2><h1><a href="#factorial_language">FL</a> — <a href="#metasyntax">(E)BNF</a> — <a href="#test_compiler_language">TESCOL</a></h1><hr></hr><h2><a name="factorial_language"></a>Factorial Language<br></br><a href="#FL_Concrete_Syntax">FL Concrete Syntax</a> — <a href="#FL_Abstract_Syntax">FL Abstract Syntax</a></h2><h3><a name="FL_Concrete_Syntax"></a>FL Concrete Syntax<em> (4 grammars)</em></h3><ul><li>Source: Ralf Lämmel, <code>FL.g</code> (17 May – 16 July 2008)<span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/java1/FL.g?view=markup">SVN</a>] [<a href="http://www.antlr.org/">ANTLR</a>] </span></li><li>Extracted grammar: <span class="links">
</em></div><h2>52 grammars and counting</h2><h1><a href="#factorial_language">FL</a> — <a href="#metasyntax">(E)BNF</a> — <a href="#test_compiler_language">TESCOL</a></h1><hr></hr><h2><a name="factorial_language"></a>Factorial Language<br></br><a href="#FL_Concrete_Syntax">FL Concrete Syntax</a> — <a href="#FL_Abstract_Syntax">FL Abstract Syntax</a></h2><h3><a name="FL_Concrete_Syntax"></a>FL Concrete Syntax<em> (4 grammars)</em></h3><ul><li>Source: Ralf Lämmel, <code>FL.g</code> (17 May – 16 July 2008)<span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/java1/FL.g?view=markup">SVN</a>] [<a href="http://www.antlr.org/">ANTLR</a>] </span></li><li>Extracted grammar: <span class="links">
[<a href="fl/antlr.html" class="red">Browsable</a>]
[<a href="fl/antlr.bgf">BGF</a>]
[<a href="fl/antlr.bnf">EBNF</a>]
Expand Down Expand Up @@ -51,7 +51,7 @@
[<a href="fl/txl.dms">DMS BNF</a>]
[<a href="fl/txl.sdf">SDF</a>]
[<a href="fl/txl.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/txl/TXLGrammar/Txl/txl.grm?view=markup">txl.grm</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/txl/txl2bgf.xslt?view=markup">txl2bgf.xslt</a>] </span></li><li>V. Zaytsev. <em>Recovery, Convergence and Documentation of Languages.</em> Vrije Universiteit Amsterdam, 2010.<span class="links"> [<a href="http://grammarware.net/text/2010/zaytsev-thesis.pdf">Thesis</a>] [<a href="http://grammarware.net/slides/2010/phd-swat.pdf">Slides</a>] </span></li></ul><h3><a name="FL_Abstract_Syntax"></a>FL Abstract Syntax<em> (5 grammars)</em></h3><ul><li>Source: Guido Wachsmuth, Vadim Zaytsev, <code>fl.ecore</code> (26 June 2008 – 28 May 2009)<span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/emf1/fl.ecore?view=markup">SVN</a>] </span></li><li>Extracted grammar: <span class="links">
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/metasyntax/txl/TXLGrammar/Txl/txl.grm?view=markup">txl.grm</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/txl/txl2bgf.xslt?view=markup">txl2bgf.xslt</a>] </span></li><li>V. Zaytsev. <em>Recovery, Convergence and Documentation of Languages.</em> Vrije Universiteit Amsterdam, 2010.<span class="links"> [<a href="http://grammarware.net/text/2010/zaytsev-thesis.pdf">Thesis</a>] [<a href="http://grammarware.net/slides/2010/phd-swat.pdf">Slides</a>] </span></li></ul><h3><a name="FL_Abstract_Syntax"></a>FL Abstract Syntax<em> (5 grammars)</em></h3><ul><li>Source: Guido Wachsmuth, Vadim Zaytsev, <code>fl.ecore</code> (26 June 2008 – 28 May 2009)<span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/emf1/fl.ecore?view=markup">SVN</a>] </span></li><li>Extracted grammar: <span class="links">
[<a href="fl/ecore.html" class="red">Browsable</a>]
[<a href="fl/ecore.bgf">BGF</a>]
[<a href="fl/ecore.bnf">EBNF</a>]
Expand Down Expand Up @@ -99,7 +99,7 @@
[<a href="fl/jaxb.dms">DMS BNF</a>]
[<a href="fl/jaxb.sdf">SDF</a>]
[<a href="fl/jaxb.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/java/slps/java2bgf/Tool.java?view=markup">slps.java2bgf.Tool</a>] </span></li><li>R. Lämmel, V. Zaytsev. <em>An Introduction to Grammar Convergence.</em> iFM 2009.<span class="links"> [<a href="http://www.formal-methods.de/ifm09/">iFM</a>] [<a href="http://dx.doi.org/10.1007/978-3-642-00255-7_17">LNCS</a>] [<a href="http://portal.acm.org/citation.cfm?id=1506936.1506955">ACM</a>] [<a href="http://grammarware.net/text/2009/convergence.pdf">Paper</a>] [<a href="http://grammarware.net/slides/2009/ifm.pdf">Slides</a>] </span></li><li>V. Zaytsev. <em>Recovery, Convergence and Documentation of Languages.</em> Vrije Universiteit Amsterdam, 2010.<span class="links"> [<a href="http://grammarware.net/text/2010/zaytsev-thesis.pdf">Thesis</a>] [<a href="http://grammarware.net/slides/2010/phd-swat.pdf">Slides</a>] </span></li></ul><hr></hr><h2><a name="metasyntax"></a>Metasyntax<br></br><a href="#BGF_in_XSD">BGF in XSD</a> — <a href="#BNF_in_SDF">BNF in SDF</a> — <a href="#EBNF_of_BGF">EBNF of BGF</a> — <a href="#EBNF_of_ISO">EBNF of ISO</a> — <a href="#EBNF_in_SDF">EBNF in SDF</a> — <a href="#Rascal">Rascal</a> — <a href="#YACC">YACC</a></h2><h3><a name="BGF_in_XSD"></a>BGF in XSD</h3><ul><li>Source:
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/java/slps/java2bgf/Tool.java?view=markup">slps.java2bgf.Tool</a>] </span></li><li>R. Lämmel, V. Zaytsev. <em>An Introduction to Grammar Convergence.</em> iFM 2009.<span class="links"> [<a href="http://www.formal-methods.de/ifm09/">iFM</a>] [<a href="http://dx.doi.org/10.1007/978-3-642-00255-7_17">LNCS</a>] [<a href="http://portal.acm.org/citation.cfm?id=1506936.1506955">ACM</a>] [<a href="http://grammarware.net/text/2009/convergence.pdf">Paper</a>] [<a href="http://grammarware.net/slides/2009/ifm.pdf">Slides</a>] </span></li><li>V. Zaytsev. <em>Recovery, Convergence and Documentation of Languages.</em> Vrije Universiteit Amsterdam, 2010.<span class="links"> [<a href="http://grammarware.net/text/2010/zaytsev-thesis.pdf">Thesis</a>] [<a href="http://grammarware.net/slides/2010/phd-swat.pdf">Slides</a>] </span></li></ul><hr></hr><h2><a name="metasyntax"></a>Metasyntax<br></br><a href="#BGF_in_XSD">BGF in XSD</a> — <a href="#BNF_in_SDF">BNF in SDF</a> — <a href="#EBNF_of_BGF">EBNF of BGF</a> — <a href="#EBNF_of_ISO">EBNF of ISO</a> — <a href="#EBNF_in_SDF">EBNF in SDF</a> — <a href="#Rascal">Rascal</a> — <a href="#TXL">TXL</a> — <a href="#YACC">YACC</a></h2><h3><a name="BGF_in_XSD"></a>BGF in XSD</h3><ul><li>Source:
Ralf Lämmel, Vadim Zaytsev, <code>bgf.xsd</code>
(28 July 2008 – 5 February 2009)<span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/xsd/bgf.xsd?view=markup">SVN</a>] </span></li><li>Extracted grammar: <span class="links">
[<a href="metasyntax/bgf.html" class="red">Browsable</a>]
Expand Down Expand Up @@ -182,7 +182,15 @@
[<a href="metasyntax/rascal.dms">DMS BNF</a>]
[<a href="metasyntax/rascal.sdf">SDF</a>]
[<a href="metasyntax/rascal.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/rascal/extract.py?view=markup">extract.py</a>] </span></li><li>Recovery tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/investigation/subgrammar/subgrammar.py?view=markup">subgrammar.py</a>] [<a href="metasyntax/rascal-horizontalize.html">horizontalize.xbgf</a>] </span></li></ul><h3><a name="YACC"></a>YACC</h3><ul><li>Source:
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/rascal/extract.py?view=markup">extract.py</a>] </span></li><li>Recovery tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/investigation/subgrammar/subgrammar.py?view=markup">subgrammar.py</a>] [<a href="metasyntax/rascal-horizontalize.html">horizontalize.xbgf</a>] </span></li></ul><h3><a name="TXL"></a>TXL</h3><ul><li>Source: James R. Cordy, <em>Validated TXL Basis Grammar for TXL 10.5</em> (February 2009), Version 1.0<span class="links"> [<a href="http://www.txl.ca/">TXL</a>] </span></li><li>Extracted grammar: <span class="links">
[<a href="metasyntax/txl.html" class="red">Browsable</a>]
[<a href="metasyntax/txl.bgf">BGF</a>]
[<a href="metasyntax/txl.bnf">EBNF</a>]

[<a href="metasyntax/txl.dms">DMS BNF</a>]
[<a href="metasyntax/txl.sdf">SDF</a>]
[<a href="metasyntax/txl.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/metasyntax/txl/TXLGrammar/Txl/txl.grm?view=markup">txl.grm</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/txl/txl2bgf.xslt?view=markup">txl2bgf.xslt</a>] </span></li></ul><h3><a name="YACC"></a>YACC</h3><ul><li>Source:
Paul Klint, <code>YACC.sdf</code>
(28 March 2007)<span class="links"> [<a href="http://www.meta-environment.org/">MetaEnv</a>] [<a href="http://dinosaur.compilertools.net/#yacc">YACC</a>] </span></li><li>Extracted grammar: <span class="links">
[<a href="metasyntax/yacc.html" class="red">Browsable</a>]
Expand Down Expand Up @@ -448,4 +456,4 @@
</span></li></ul><hr></hr><div class="last"><strong>
All grammars are distributed on terms of the <a href="http://creativecommons.org/licenses/by/3.0/">CC-BY</a> license
as well as on terms of any other license bound to the source of our research in a way that enforces
its propagation to derivatives.<br></br></strong>The page is maintained by Dr. <a href="http://grammarware.net/">Vadim Zaytsev</a> a.k.a. @<a href="http://twitter.com/grammarware">grammarware</a>. Last updated: 09/06/2011<span class="links">[<a href="/">↑SLPS</a>]</span><br></br><a href="http://creativecommons.org/licenses/by/3.0/"><img src="http://i.creativecommons.org/l/by/3.0/88x31.png" alt="CC-BY"></img></a><a href="http://validator.w3.org/check/referer"><img src="../img/vxhtml.png" alt="XHTML 1.0"></img></a><a href="http://jigsaw.w3.org/css-validator/check/referer"><img src="../img/vcss.png" alt="CSS 2.1"></img></a></div></body></html>
its propagation to derivatives.<br></br></strong>The page is maintained by Dr. <a href="http://grammarware.net/">Vadim Zaytsev</a> a.k.a. @<a href="http://twitter.com/grammarware">grammarware</a>. Last updated: 10/06/2011<span class="links">[<a href="/">↑SLPS</a>]</span><br></br><a href="http://creativecommons.org/licenses/by/3.0/"><img src="http://i.creativecommons.org/l/by/3.0/88x31.png" alt="CC-BY"></img></a><a href="http://validator.w3.org/check/referer"><img src="../img/vxhtml.png" alt="XHTML 1.0"></img></a><a href="http://jigsaw.w3.org/css-validator/check/referer"><img src="../img/vcss.png" alt="CSS 2.1"></img></a></div></body></html>

0 comments on commit 37a2485

Please sign in to comment.