From 2a00438460cdb6b4c318af5ad3229a8368fd61b4 Mon Sep 17 00:00:00 2001 From: grammarware Date: Fri, 22 Apr 2011 11:37:24 +0000 Subject: [PATCH] testmatch page in a finished state; includes direct links to Grammar Zoo and Grammar Tank git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1030 ab42f6e0-554d-0410-b580-99e487e6eeb2 --- Makefile | 2 +- _dev/listgrammars.xslt | 16 +- _dev/tank.xml | 42 +-- _dev/zoo.xml | 68 ++--- img/{valid-xhtml10.png => vxhtml.png} | Bin index.html | 4 +- tank/index.html | 308 +++++--------------- testmatch/index.html | 177 ++++------- testmatch/{figures => }/java.png | Bin testmatch/{figures => }/match-algorithm.png | Bin testmatch/{figures => }/match-good-bad.png | Bin testmatch/{figures => }/tescol.png | Bin testmatch/{figures => }/testsize.png | Bin zoo/index.html | 215 ++------------ 14 files changed, 228 insertions(+), 604 deletions(-) rename img/{valid-xhtml10.png => vxhtml.png} (100%) rename testmatch/{figures => }/java.png (100%) rename testmatch/{figures => }/match-algorithm.png (100%) rename testmatch/{figures => }/match-good-bad.png (100%) rename testmatch/{figures => }/tescol.png (100%) rename testmatch/{figures => }/testsize.png (100%) diff --git a/Makefile b/Makefile index ac998796..46458059 100644 --- a/Makefile +++ b/Makefile @@ -4,7 +4,7 @@ upload: scp index.html rlaemmel,slps@web.sourceforge.net:htdocs sync: - rsync -avz --exclude=".svn" --exclude="Makefile" --exclude="_dev" * sspider,slps@web.sourceforge.net:htdocs + rsync -avz --delete --exclude=".svn" --exclude="Makefile" --exclude="_dev" * sspider,slps@web.sourceforge.net:htdocs clean: rm -f *~ zoo/*/* diff --git a/_dev/listgrammars.xslt b/_dev/listgrammars.xslt index 0461fc65..d300161b 100644 --- a/_dev/listgrammars.xslt +++ b/_dev/listgrammars.xslt @@ -55,7 +55,7 @@

grammars and counting

- + @@ -67,7 +67,7 @@ — - + @@ -82,7 +82,7 @@

- +
@@ -97,7 +97,7 @@

- + @@ -197,7 +197,7 @@
CC-BY - XHTML 1.0 + XHTML 1.0 CSS 2.1 @@ -230,7 +230,7 @@ ] -
  • +
  • Source: @@ -248,7 +248,7 @@
    • -
  • +
  • grammar: @@ -265,7 +265,7 @@
    • -
  • +
  • diff --git a/_dev/tank.xml b/_dev/tank.xml index 0f95f4d8..727cdfde 100644 --- a/_dev/tank.xml +++ b/_dev/tank.xml @@ -58,7 +58,7 @@ - R. Lämmel, V. Zaytsev. An Introduction to Grammar Convergence. iFM 2009. + R. Lämmel, V. Zaytsev. An Introduction to Grammar Convergence. iFM 2009. http://www.formal-methods.de/ifm09/ iFM @@ -81,7 +81,7 @@ - V. Zaytsev. Recovery, Convergence and Documentation of Languages. Vrije Universiteit Amsterdam, 2010. + V. Zaytsev. Recovery, Convergence and Documentation of Languages. Vrije Universiteit Amsterdam, 2010. http://grammarware.net/text/2010/zaytsev-thesis.pdf Thesis @@ -100,7 +100,7 @@ FL in ANTLR - Ralf Lämmel, <code>FL.g</code> + Ralf Lämmel, <code xmlns="http://www.w3.org/1999/xhtml">FL.g</code> 17 May – 16 July 2008 @@ -135,7 +135,7 @@ FL in DCG - Ralf Lämmel, <code>Parser.pro</code> + Ralf Lämmel, <code xmlns="http://www.w3.org/1999/xhtml">Parser.pro</code> 28 July – 3 September 2008 @@ -155,7 +155,7 @@ - R. Lämmel, G. Riedewald. Prological Language Processing. LDTA 2001. + R. Lämmel, G. Riedewald. Prological Language Processing. LDTA 2001. http://ldta.info/2001/ LDTA @@ -177,7 +177,7 @@ FL in Ecore - Guido Wachsmuth, Vadim Zaytsev, <code>fl.ecore</code> + Guido Wachsmuth, Vadim Zaytsev, <code xmlns="http://www.w3.org/1999/xhtml">fl.ecore</code> 26 June 2008 – 28 May 2009 @@ -191,7 +191,7 @@ - Vadim Zaytsev, <code>fl.ecore</code> generated from <code>fl.xsd</code> + Vadim Zaytsev, <code xmlns="http://www.w3.org/1999/xhtml">fl.ecore</code> generated from <code xmlns="http://www.w3.org/1999/xhtml">fl.xsd</code> 28 May 2009 @@ -221,7 +221,7 @@ FL in Java - Ralf Lämmel, <code>Program.java</code>, <code>Function.java</code> et al. + Ralf Lämmel, <code xmlns="http://www.w3.org/1999/xhtml">Program.java</code>, <code xmlns="http://www.w3.org/1999/xhtml">Function.java</code> et al. 17 May – 28 July 2008 @@ -235,7 +235,7 @@ - Ralf Lämmel, <code>Program.java</code>, <code>Function.java</code> et al. generated from <code>fl.xsd</code>. + Ralf Lämmel, <code xmlns="http://www.w3.org/1999/xhtml">Program.java</code>, <code xmlns="http://www.w3.org/1999/xhtml">Function.java</code> et al. generated from <code xmlns="http://www.w3.org/1999/xhtml">fl.xsd</code>. 21 May – 28 July 2008 @@ -266,7 +266,7 @@ FL in SDF - Ralf Lämmel, Vadim Zaytsev, <code>FL.sdf</code>, <code>Syntax.sdf</code>, et al. + Ralf Lämmel, Vadim Zaytsev, <code xmlns="http://www.w3.org/1999/xhtml">FL.sdf</code>, <code xmlns="http://www.w3.org/1999/xhtml">Syntax.sdf</code>, et al. 1–25 Aug 2008 @@ -287,7 +287,7 @@ FL in TXL - Vadim Zaytsev, <code>FL.Txl</code>. + Vadim Zaytsev, <code xmlns="http://www.w3.org/1999/xhtml">FL.Txl</code>. 6–7 Jul 2009 @@ -317,7 +317,7 @@ FL in XML Schema - Ralf Lämmel, <code>fl.xsd</code>. + Ralf Lämmel, <code xmlns="http://www.w3.org/1999/xhtml">fl.xsd</code>. 20 May – 29 July 2008 @@ -343,7 +343,7 @@ BGF - Ralf Lämmel, Vadim Zaytsev, <code>bgf.xsd</code> + Ralf Lämmel, Vadim Zaytsev, <code xmlns="http://www.w3.org/1999/xhtml">bgf.xsd</code> 28 July 2008 – 5 February 2009 @@ -364,7 +364,7 @@ BNF in BGF - Vadim Zaytsev, <code>bnf-bgf.bgf</code> + Vadim Zaytsev, <code xmlns="http://www.w3.org/1999/xhtml">bnf-bgf.bgf</code> 11 July 2010 – 11 February 2011 @@ -382,7 +382,7 @@ BNF in SDF - Tijs van der Storm, <code>BNF.sdf</code> + Tijs van der Storm, <code xmlns="http://www.w3.org/1999/xhtml">BNF.sdf</code> 28 March 2003 @@ -413,7 +413,7 @@ ISO/IEC 14977:1996(E). - <em>Information Technology—Syntactic Metalanguage—Extended BNF</em> + <em xmlns="http://www.w3.org/1999/xhtml">Information Technology—Syntactic Metalanguage—Extended BNF</em> 1996 @@ -442,7 +442,7 @@ EBNF in SDF - Paul Klint, W3C version of <code>EBNF.sdf</code> + Paul Klint, W3C version of <code xmlns="http://www.w3.org/1999/xhtml">EBNF.sdf</code> 27 March 2007 @@ -472,7 +472,7 @@ Rascal - Jurgen Vinju, Arnold Lankamp, Tijs van der Storm, <code>RascalRascal.rsc</code> + Jurgen Vinju, Arnold Lankamp, Tijs van der Storm, <code xmlns="http://www.w3.org/1999/xhtml">RascalRascal.rsc</code> 10 August 2010 – 5 April 2011 @@ -502,7 +502,7 @@ YACC - Paul Klint, <code>YACC.sdf</code> + Paul Klint, <code xmlns="http://www.w3.org/1999/xhtml">YACC.sdf</code> 28 March 2007 @@ -541,7 +541,7 @@ TESCOL - Bernd Fischer, <em>COMP2010: Compiler Engineering</em> course work + Bernd Fischer, <em xmlns="http://www.w3.org/1999/xhtml">COMP2010: Compiler Engineering</em> course work 11 March – 22 April 2010 @@ -599,7 +599,7 @@ - R. Lämmel, V. Zaytsev. Comparison of Context-free Grammars Based on Parsing Generated Test Data. + R. Lämmel, V. Zaytsev. Comparison of Context-free Grammars Based on Parsing Generated Test Data. http://grammarware.net/text/2011/testmatch.pdf Draft diff --git a/_dev/zoo.xml b/_dev/zoo.xml index 48abc666..b63e93a8 100644 --- a/_dev/zoo.xml +++ b/_dev/zoo.xml @@ -62,7 +62,7 @@ - R. Lämmel, V. Zaytsev. An Introduction to Grammar Convergence. iFM 2009. + R. Lämmel, V. Zaytsev. An Introduction to Grammar Convergence. iFM 2009. http://www.formal-methods.de/ifm09/ iFM @@ -85,7 +85,7 @@ - V. Zaytsev. Recovery, Convergence and Documentation of Languages. Vrije Universiteit Amsterdam, 2010. + V. Zaytsev. Recovery, Convergence and Documentation of Languages. Vrije Universiteit Amsterdam, 2010. http://grammarware.net/text/2010/zaytsev-thesis.pdf Thesis @@ -97,7 +97,7 @@ - R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. SCAM 2009. + R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. SCAM 2009. http://www2009.ieee-scam.org/ SCAM @@ -120,7 +120,7 @@ - R. Lämmel, V. Zaytsev. Reverse Engineering Grammar Relationships. WSR 2010. + R. Lämmel, V. Zaytsev. Reverse Engineering Grammar Relationships. WSR 2010. http://www.uni-koblenz-landau.de/koblenz/fb4/institute/uebergreifend/sre/conferences/wsr/wsr2010 WSR @@ -135,7 +135,7 @@ - R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. ACM CRR; SQJ 19:2. + R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. ACM CRR; SQJ 19:2. http://dx.doi.org/10.1007/s11219-010-9116-5 SQJ @@ -157,7 +157,7 @@ ISO C 1999 - ISO/IEC 9899:1999(E) <em>Programming languages — C</em> + ISO/IEC 9899:1999(E) <em xmlns="http://www.w3.org/1999/xhtml">Programming languages — C</em> December 1999 Annex A, pages 402–416 @@ -171,7 +171,7 @@ ISO C 2005 - ISO/IEC 9899:TC2 <em>WG14/N1124</em> Committee Draft + ISO/IEC 9899:TC2 <em xmlns="http://www.w3.org/1999/xhtml">WG14/N1124</em> Committee Draft May 2005 Annex A, pages 403–417 @@ -185,7 +185,7 @@ ISO C 2007 - ISO/IEC 9899:TC3 <em>WG14/N1256</em> Committee Draft + ISO/IEC 9899:TC3 <em xmlns="http://www.w3.org/1999/xhtml">WG14/N1256</em> Committee Draft September 2007 Annex A, pages 403–418 @@ -203,7 +203,7 @@ ISO C++ 1998 - ISO/IEC 14882:1998(E) <em>Programming languages — C++</em>. First edition + ISO/IEC 14882:1998(E) <em xmlns="http://www.w3.org/1999/xhtml">Programming languages — C++</em>. First edition September 1998 Annex A, pages 667–684 @@ -217,7 +217,7 @@ ISO C++ 2008 - ISO/IEC SC22/WG21 N2723=08-0233 Working Draft, <em>Standard for Programming Language C++</em> + ISO/IEC SC22/WG21 N2723=08-0233 Working Draft, <em xmlns="http://www.w3.org/1999/xhtml">Standard for Programming Language C++</em> August 2008 Annex A, pages 1089–1101 @@ -235,7 +235,7 @@ ECMA C# 2001 - ECMA International Standard <em>ECMA-334, 1<sup>st</sup> edition</em> + ECMA International Standard <em xmlns="http://www.w3.org/1999/xhtml">ECMA-334, 1<sup>st</sup> edition</em> December 2001 Appendix A, pages 339–364 @@ -257,7 +257,7 @@ ECMA C# 2002 - ECMA International Standard <em>ECMA-334, 2<sup>nd</sup> edition</em> + ECMA International Standard <em xmlns="http://www.w3.org/1999/xhtml">ECMA-334, 2<sup>nd</sup> edition</em> December 2002 Appendix A, pages 335–360 @@ -279,7 +279,7 @@ ECMA C# 2005 - ECMA International Standard <em>ECMA-334, 3<sup>rd</sup> edition</em> + ECMA International Standard <em xmlns="http://www.w3.org/1999/xhtml">ECMA-334, 3<sup>rd</sup> edition</em> June 2005 http://www.ecma-international.org/publications/standards/Ecma-334-arch.htm @@ -300,7 +300,7 @@ ECMA C# 2006 - ECMA International Standard <em>ECMA-334, 4<sup>th</sup> edition</em> + ECMA International Standard <em xmlns="http://www.w3.org/1999/xhtml">ECMA-334, 4<sup>th</sup> edition</em> June 2006 http://www.ecma-international.org/publications/standards/Ecma-334.htm @@ -321,7 +321,7 @@ ISO C# 2003 - ISO/IEC 23270:2003(E) <em>Information technology — Programming languages — C#</em>. First edition + ISO/IEC 23270:2003(E) <em xmlns="http://www.w3.org/1999/xhtml">Information technology — Programming languages — C#</em>. First edition 2003 @@ -372,7 +372,7 @@ - V. Zaytsev. Correct C# Grammar too Sharp for ISO. GTTSE 2005. Extended abstract. + V. Zaytsev. Correct C# Grammar too Sharp for ISO. GTTSE 2005. Extended abstract. http://wiki.di.uminho.pt/twiki/bin/view/Events/GTTSE/ GTTSE @@ -394,7 +394,7 @@ ISO C# 2006 - ISO/IEC 23270:2006(E) <em>Information technology — Programming languages — C#</em>. Second edition + ISO/IEC 23270:2006(E) <em xmlns="http://www.w3.org/1999/xhtml">Information technology — Programming languages — C#</em>. Second edition September 2006 http://standards.iso.org/ittf/PubliclyAvailableStandards/index.html @@ -415,7 +415,7 @@ Microsoft C# 1.0 - <em>C# Language Specification.</em> Version 1.0 + <em xmlns="http://www.w3.org/1999/xhtml">C# Language Specification.</em> Version 1.0 2002 http://download.microsoft.com/download/a/9/e/a9e229b9-fee5-4c3e-8476-917dee385062/CSharp%20Language%20Specification%20v1.0.doc @@ -432,7 +432,7 @@ Microsoft C# 1.2 - <em>C# Language Specification.</em> Version 1.2 + <em xmlns="http://www.w3.org/1999/xhtml">C# Language Specification.</em> Version 1.2 2003 http://download.microsoft.com/download/5/e/5/5e58be0a-b02b-41ac-a4a3-7a22286214ff/csharp%20language%20specification%20v1.2.doc @@ -449,7 +449,7 @@ Microsoft C# 3.0 - <em>C# Language Specification.</em> Version 3.0 + <em xmlns="http://www.w3.org/1999/xhtml">C# Language Specification.</em> Version 3.0 2007 http://download.microsoft.com/download/3/8/8/388e7205-bc10-4226-b2a8-75351c669b09/CSharp%20Language%20Specification.doc @@ -466,7 +466,7 @@ Microsoft C# 4.0 - <em>C# Language Specification.</em> Version 4.0 + <em xmlns="http://www.w3.org/1999/xhtml">C# Language Specification.</em> Version 4.0 2010 http://download.microsoft.com/download/0/B/D/0BDA894F-2CCD-4C2C-B5A7-4EB1171962E5/CSharp%20Language%20Specification.doc @@ -487,7 +487,7 @@ Fortran-90 - Jan Derricks, <code>Fortran90.sdf</code> + Jan Derricks, <code xmlns="http://www.w3.org/1999/xhtml">Fortran90.sdf</code> 12 July 2007 http://www.meta-environment.org/ @@ -512,7 +512,7 @@ - J. Derricks. Fortran grammatica-extractie. MSc thesis, 2007. + J. Derricks. Fortran grammatica-extractie. MSc thesis, 2007. http://repository.cwi.nl/search/abstract.php?publnr=12415 Abstract @@ -530,7 +530,7 @@ JDK 1.0 - James Gosling, Bill Joy, Guy Steele, <em>Java Language Specification</em> + James Gosling, Bill Joy, Guy Steele, <em xmlns="http://www.w3.org/1999/xhtml">Java Language Specification</em> 1996 http://java.sun.com/docs/books/jls/first_edition/html/index.html @@ -556,7 +556,7 @@ J2SE 1.2 “Playground” - James Gosling, Bill Joy, Guy Steele, Gilad Bracha, <em>Java Language Specification</em> Second Edition + James Gosling, Bill Joy, Guy Steele, Gilad Bracha, <em xmlns="http://www.w3.org/1999/xhtml">Java Language Specification</em> Second Edition 1998 http://java.sun.com/docs/books/jls/second_edition/html/j.title.doc.html @@ -582,7 +582,7 @@ J2SE 5.0 “Tiger” - James Gosling, Bill Joy, Guy Steele, Gilad Bracha, <em>Java Language Specification</em> Third Edition + James Gosling, Bill Joy, Guy Steele, Gilad Bracha, <em xmlns="http://www.w3.org/1999/xhtml">Java Language Specification</em> Third Edition 2004 http://java.sun.com/docs/books/jls/third_edition/html/j3TOC.html @@ -603,7 +603,7 @@ - Dieter Habelitz, <code>Java.g</code> + Dieter Habelitz, <code xmlns="http://www.w3.org/1999/xhtml">Java.g</code> 2008 http://www.antlr.org/grammar/1207932239307/Java1_5Grammars/Java.g @@ -634,7 +634,7 @@ - Terence Parr, <code>Java.g</code> + Terence Parr, <code xmlns="http://www.w3.org/1999/xhtml">Java.g</code> 2006 http://www.antlr.org/grammar/1152141644268/Java.g @@ -665,7 +665,7 @@ - Michael Stahl, <code>java15.g</code> + Michael Stahl, <code xmlns="http://www.w3.org/1999/xhtml">java15.g</code> 2004 http://www.antlr.org/grammar/1093454600181/java15-grammar.zip @@ -696,7 +696,7 @@ - Michael Studman, <code>java15.g</code> + Michael Studman, <code xmlns="http://www.w3.org/1999/xhtml">java15.g</code> 2004 http://www.antlr.org/grammar/1090713067533/java15.g @@ -729,7 +729,7 @@ - R. Lämmel, V. Zaytsev. Comparison of Context-free Grammars Based on Parsing Generated Test Data. + R. Lämmel, V. Zaytsev. Comparison of Context-free Grammars Based on Parsing Generated Test Data. http://grammarware.net/text/2011/testmatch.pdf Draft @@ -747,7 +747,7 @@ Modula-3 - Jurgen Vinju, Tijs van der Storm, <code>Modula-3.sdf</code> + Jurgen Vinju, Tijs van der Storm, <code xmlns="http://www.w3.org/1999/xhtml">Modula-3.sdf</code> 13 February 2006 – 19 September 2008 http://www.meta-environment.org/ @@ -779,7 +779,7 @@ XPath 1.0 - <em>XML Path Language (XPath)</em>, Version 1.0, W3C Recommendation + <em xmlns="http://www.w3.org/1999/xhtml">XML Path Language (XPath)</em>, Version 1.0, W3C Recommendation 16 November 1999 http://www.w3.org/TR/1999/REC-xpath-19991116.xml @@ -815,7 +815,7 @@ - V. Zaytsev, R. Lämmel. A Unified Format for Language Documents. SLE 2010. + V. Zaytsev, R. Lämmel. A Unified Format for Language Documents. SLE 2010. http://planet-sl.org/sle2010/ SLE diff --git a/img/valid-xhtml10.png b/img/vxhtml.png similarity index 100% rename from img/valid-xhtml10.png rename to img/vxhtml.png diff --git a/index.html b/index.html index 40c249e4..a9a15b16 100644 --- a/index.html +++ b/index.html @@ -210,6 +210,8 @@

    Structure

    The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: April 2011. -
    +
    + XHTML 1.0 + CSS 2.1 diff --git a/tank/index.html b/tank/index.html index d3315442..a53545db 100644 --- a/tank/index.html +++ b/tank/index.html @@ -13,12 +13,9 @@

    Software Language Processing Suite

    Grammar Zoo | Grammar Tank

    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. -

    49 grammars and counting

    FL — (E)BNF — TESCOL

    Factorial Language

    FL in ANTLR — FL in DCG — FL in Ecore — FL in Java — FL in SDF — FL in TXL — FL in XML Schema

    FL in ANTLR