Skip to content

Commit

Permalink
renovating the Tank; updating the Zoo
Browse files Browse the repository at this point in the history 
git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1098 ab42f6e0-554d-0410-b580-99e487e6eeb2
  • Loading branch information
@grammarware
grammarware committed Jun 17, 2011
1 parent 37a2485 commit a9e5918
Show file tree
Hide file tree
Showing 6 changed files with 158 additions and 22 deletions.
4 changes: 2 additions & 2 deletions Makefile
View file
Expand Up @@ -13,14 +13,14 @@ clean:
build:
make zooprj
make tankprj
make tmprj
xsltproc _dev/links2html.xslt _dev/java-grammars.xml | python ../topics/export/hypertext/closemeta.py > zoo/java/links.html
#make tmprj

zooprj:
rm -f zoo/*/*
xsltproc _dev/list2makefile.xslt _dev/zoo.xml > _dev/Makefile.x
make -f _dev/Makefile.x
xsltproc --stringparam date `date +"%d/%m/%Y"` _dev/list2xhtml.xslt _dev/zoo.xml > zoo/index.html
xsltproc _dev/links2html.xslt _dev/java-grammars.xml | python ../topics/export/hypertext/closemeta.py > zoo/java/links.html

tankprj:
rm -f tank/*/*
Expand Down
96 changes: 96 additions & 0 deletions _dev/tank.xml
View file
Expand Up @@ -554,6 +554,102 @@
</toolset>
</grammar>
</version>
<version>
<name>LLL</name>
<grammar>
<name>Extracted</name>
<handle>metasyntax/lll-ldta</handle>
<source>
<title>Jan Kort, Ralf Lämmel, Chris Verhoef, <em xmlns="http://www.w3.org/1999/xhtml">The LLL grammar format</em></title>
<specific>GDK System Demo, page 2</specific>
<date>April 2002</date>
<link>
<uri>http://gdk.sourceforge.net/</uri>
<name>GDK</name>
</link>
<link>
<mu>topics/grammars/metasyntax/lll-ldta/README.txt</mu>
<name>ReadMe</name>
</link>
</source>
<toolset>
<name>Extraction</name>
<link>
<mu>shared/edd/lll.edd</mu>
<name>LLL.EDD</name>
</link>
<link>
<mu>topics/recovery/hunter/hunter.py</mu>
<name>Hunter</name>
</link>
<link>
<mu>shared/generators/reroot2top</mu>
<name>reroot2top</name>
</link>
</toolset>
<item>
<name>J. Kort, R. Lämmel, C. Verhoef. <em xmlns="http://www.w3.org/1999/xhtml">The Grammar Deployment Kit — System Demonstration.</em> LDTA'02, ENTCS 65:3, 2002.</name>
<link>
<uri>http://www.cs.vu.nl/grammars/gdk</uri>
<name>Abstract</name>
</link>
<link>
<uri>http://www.cs.vu.nl/grammarware/gdk/ldta2002.pdf</uri>
<name>PDF</name>
</link>
</item>
</grammar>
<grammar>
<name>Extracted</name>
<handle>metasyntax/lll-kort</handle>
<source>
<title>Jan Kort, <em xmlns="http://www.w3.org/1999/xhtml">The LLL grammar format</em></title>
<specific>GDK Reference Manual, Chapter 3, page 3</specific>
<date>May 2003</date>
<link>
<uri>http://gdk.sourceforge.net/</uri>
<name>GDK</name>
</link>
<link>
<mu>topics/grammars/metasyntax/lll-kort/README.txt</mu>
<name>ReadMe</name>
</link>
</source>
<toolset>
<name>Extraction</name>
<link>
<mu>shared/edd/lll.edd</mu>
<name>LLL.EDD</name>
</link>
<link>
<mu>topics/recovery/hunter/hunter.py</mu>
<name>Hunter</name>
</link>
<link>
<mu>shared/generators/reroot2top</mu>
<name>reroot2top</name>
</link>
</toolset>
<item>
<name>J. Kort, R. Lämmel, C. Verhoef. <em xmlns="http://www.w3.org/1999/xhtml">The Grammar Deployment Kit — System Demonstration.</em> LDTA'02, ENTCS 65:3, 2002.</name>
<link>
<uri>http://www.cs.vu.nl/grammars/gdk</uri>
<name>Abstract</name>
</link>
<link>
<uri>http://www.cs.vu.nl/grammarware/gdk/ldta2002.pdf</uri>
<name>PDF</name>
</link>
</item>
<item>
<name>J. Kort. <em xmlns="http://www.w3.org/1999/xhtml">Grammar Deployment Kit Reference Manual.</em> UvA 2003.</name>
<link>
<uri>http://gdk.sourceforge.net/gdkref.pdf</uri>
<name>PDF</name>
</link>
</item>
</grammar>
</version>
<version>
<name>Rascal</name>
<grammar>
Expand Down
37 changes: 29 additions & 8 deletions _dev/zoo.xml
View file
Expand Up @@ -451,12 +451,19 @@
<name>ReadMe</name>
</link>
</source>
<toolset ref="lll"/>
<toolset>
<name>Recovery</name>
<name>Extraction</name>
<link>
<xbgf>cpp/iso-14882-1998-correct</xbgf>
<name>correct</name>
<mu>topics/grammars/cpp/iso-14882-1998/config.edd</mu>
<name>EDD</name>
</link>
<link>
<mu>topics/recovery/hunter/hunter.py</mu>
<name>Hunter</name>
</link>
<link>
<xbgf>cpp/iso-14882-1998-post-extract</xbgf>
<name>post-extract</name>
</link>
</toolset>
</grammar>
Expand Down Expand Up @@ -550,14 +557,18 @@
</link>
</source>
<toolset>
<name>Recovery</name>
<name>Extraction</name>
<link>
<uri>http://gdk.sourceforge.net/</uri>
<name>GDK</name>
</link>
<link>
<mu>topics/extraction/bnf2bgf/lll2bgf.py</mu>
<name>LLL⇒BGF</name>
<mu>shared/edd/lll.edd</mu>
<name>LLL.EDD</name>
</link>
<link>
<mu>topics/recovery/hunter/hunter.py</mu>
<name>Hunter</name>
</link>
</toolset>
<toolset>
Expand Down Expand Up @@ -618,7 +629,17 @@
<name>ReadMe</name>
</link>
</source>
<toolset ref="lll"/>
<toolset>
<name>Extraction</name>
<link>
<mu>shared/edd/lll.edd</mu>
<name>LLL.EDD</name>
</link>
<link>
<mu>topics/recovery/hunter/hunter.py</mu>
<name>Hunter</name>
</link>
</toolset>
</grammar>
<grammar>
<name>Extracted</name>
Expand Down
11 changes: 7 additions & 4 deletions index.html
View file
Expand Up @@ -44,7 +44,10 @@ <h2>Pages</h2>
<a href="xbgf/">XBGF Language Manual</a>
</li>
<li>
<a href="zoo/">SLPS Grammar Zoo (C, C++, C#, Java)</a>
<a href="zoo/">SLPS Grammar Zoo (Ada, C, C++, C#, Java, Modula, …)</a>
</li>
<li>
<a href="tank/">SLPS Grammar Tank (BNF, EBNF, FL, TESCOL, …)</a>
</li>
<li>
<a href="testmatch/">TestMatch project (comparing languages based on parsing generated test data)</a>
Expand Down Expand Up @@ -92,13 +95,13 @@ <h2>Structure</h2>
</dd>
<dt>recovery</dt>
<dd>
Grammar recovery attempts that go beyond simple extraction: Grammar Recovery Kit, ISO C#, etc.
Grammar recovery attempts that go beyond simple extraction: Grammar Recovery Kit, Grammar Hunter, ISO C#, VU Browsable Grammars, etc.
</dd>
<dt>grammars</dt>
<dd>
Extracted grammars that form the <a href="zoo/">SLPS Zoo</a>.
Extracted grammars that form the <a href="zoo/">SLPS Zoo</a>, <a href="tank/">SLPS Tank</a>.
Of many grammars located here, the most interesting ones are those of
C, C++, C# and Java.
Ada, C, C++, C# and Java.
</dd>
<dt>storage</dt>
<dd>
Expand Down
24 changes: 20 additions & 4 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>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">
</em></div><h2>54 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 @@ -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="#TXL">TXL</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="#LLL">LLL</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 @@ -172,7 +172,23 @@
[<a href="metasyntax/ebnf-sdf.dms">DMS BNF</a>]
[<a href="metasyntax/ebnf-sdf.sdf">SDF</a>]
[<a href="metasyntax/ebnf-sdf.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Main.sdf?view=markup">Main.sdf</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Main.asf?view=markup">Main.asf</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Tokens.sdf?view=markup">Tokens.sdf</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Tokens.asf?view=markup">Tokens.asf</a>] </span></li><li>Recovery tools: <span class="links"> [<a href="metasyntax/ebnf-sdf-correct.html">correct.xbgf</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/investigation/subgrammar/subgrammar.py?view=markup">subgrammar.py</a>] </span></li></ul><h3><a name="Rascal"></a>Rascal</h3><ul><li>Source:
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Main.sdf?view=markup">Main.sdf</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Main.asf?view=markup">Main.asf</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Tokens.sdf?view=markup">Tokens.sdf</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Tokens.asf?view=markup">Tokens.asf</a>] </span></li><li>Recovery tools: <span class="links"> [<a href="metasyntax/ebnf-sdf-correct.html">correct.xbgf</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/investigation/subgrammar/subgrammar.py?view=markup">subgrammar.py</a>] </span></li></ul><h3><a name="LLL"></a>LLL<em> (2 grammars)</em></h3><ul><li>Source: Jan Kort, Ralf Lämmel, Chris Verhoef, <em>The LLL grammar format</em> (April 2002), GDK System Demo, page 2<span class="links"> [<a href="http://gdk.sourceforge.net/">GDK</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/metasyntax/lll-ldta/README.txt?view=markup">ReadMe</a>] </span></li><li>Extracted grammar: <span class="links">
[<a href="metasyntax/lll-ldta.html" class="red">Browsable</a>]
[<a href="metasyntax/lll-ldta.bgf">BGF</a>]
[<a href="metasyntax/lll-ldta.bnf">EBNF</a>]

[<a href="metasyntax/lll-ldta.dms">DMS BNF</a>]
[<a href="metasyntax/lll-ldta.sdf">SDF</a>]
[<a href="metasyntax/lll-ldta.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/edd/lll.edd?view=markup">LLL.EDD</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/recovery/hunter/hunter.py?view=markup">Hunter</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/generators/reroot2top?view=markup">reroot2top</a>] </span></li><li>J. Kort, R. Lämmel, C. Verhoef. <em>The Grammar Deployment Kit — System Demonstration.</em> LDTA'02, ENTCS 65:3, 2002.<span class="links"> [<a href="http://www.cs.vu.nl/grammars/gdk">Abstract</a>] [<a href="http://www.cs.vu.nl/grammarware/gdk/ldta2002.pdf">PDF</a>] </span></li></ul><ul><li>Source: Jan Kort, <em>The LLL grammar format</em> (May 2003), GDK Reference Manual, Chapter 3, page 3<span class="links"> [<a href="http://gdk.sourceforge.net/">GDK</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/grammars/metasyntax/lll-kort/README.txt?view=markup">ReadMe</a>] </span></li><li>Extracted grammar: <span class="links">
[<a href="metasyntax/lll-kort.html" class="red">Browsable</a>]
[<a href="metasyntax/lll-kort.bgf">BGF</a>]
[<a href="metasyntax/lll-kort.bnf">EBNF</a>]

[<a href="metasyntax/lll-kort.dms">DMS BNF</a>]
[<a href="metasyntax/lll-kort.sdf">SDF</a>]
[<a href="metasyntax/lll-kort.rsc">Rascal</a>]
</span></li><li>Extraction tools: <span class="links"> [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/edd/lll.edd?view=markup">LLL.EDD</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/recovery/hunter/hunter.py?view=markup">Hunter</a>] [<a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/generators/reroot2top?view=markup">reroot2top</a>] </span></li><li>J. Kort, R. Lämmel, C. Verhoef. <em>The Grammar Deployment Kit — System Demonstration.</em> LDTA'02, ENTCS 65:3, 2002.<span class="links"> [<a href="http://www.cs.vu.nl/grammars/gdk">Abstract</a>] [<a href="http://www.cs.vu.nl/grammarware/gdk/ldta2002.pdf">PDF</a>] </span></li><li>J. Kort. <em>Grammar Deployment Kit Reference Manual.</em> UvA 2003.<span class="links"> [<a href="http://gdk.sourceforge.net/gdkref.pdf">PDF</a>] </span></li></ul><h3><a name="Rascal"></a>Rascal</h3><ul><li>Source:
Jurgen Vinju, Arnold Lankamp, Tijs van der Storm, <code>RascalRascal.rsc</code>
(10 August 2010 – 5 April 2011)<span class="links"> [<a href="http://www.rascal-mpl.org/">Rascal</a>] </span></li><li>Extracted grammar: <span class="links">
[<a href="metasyntax/rascal.html" class="red">Browsable</a>]
Expand Down Expand Up @@ -456,4 +472,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: 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>
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: 17/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 a9e5918

Please sign in to comment.