From a9e591844261550b028b73adeee14d6e6c0949bb Mon Sep 17 00:00:00 2001 From: grammarware Date: Fri, 17 Jun 2011 15:01:44 +0000 Subject: [PATCH] renovating the Tank; updating the Zoo git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1098 ab42f6e0-554d-0410-b580-99e487e6eeb2 --- Makefile | 4 +-- _dev/tank.xml | 96 +++++++++++++++++++++++++++++++++++++++++++++++++ _dev/zoo.xml | 37 ++++++++++++++----- index.html | 11 +++--- tank/index.html | 24 ++++++++++--- zoo/index.html | 8 ++--- 6 files changed, 158 insertions(+), 22 deletions(-) diff --git a/Makefile b/Makefile index 60258d37..4764b5af 100644 --- a/Makefile +++ b/Makefile @@ -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/*/* diff --git a/_dev/tank.xml b/_dev/tank.xml index 4945cfda..49a162eb 100644 --- a/_dev/tank.xml +++ b/_dev/tank.xml @@ -554,6 +554,102 @@ + + LLL + + Extracted + metasyntax/lll-ldta + + Jan Kort, Ralf Lämmel, Chris Verhoef, <em xmlns="http://www.w3.org/1999/xhtml">The LLL grammar format</em> + GDK System Demo, page 2 + April 2002 + + http://gdk.sourceforge.net/ + GDK + + + topics/grammars/metasyntax/lll-ldta/README.txt + ReadMe + + + + Extraction + + shared/edd/lll.edd + LLL.EDD + + + topics/recovery/hunter/hunter.py + Hunter + + + shared/generators/reroot2top + reroot2top + + + + J. Kort, R. Lämmel, C. Verhoef. The Grammar Deployment Kit — System Demonstration. LDTA'02, ENTCS 65:3, 2002. + + http://www.cs.vu.nl/grammars/gdk + Abstract + + + http://www.cs.vu.nl/grammarware/gdk/ldta2002.pdf + PDF + + + + + Extracted + metasyntax/lll-kort + + Jan Kort, <em xmlns="http://www.w3.org/1999/xhtml">The LLL grammar format</em> + GDK Reference Manual, Chapter 3, page 3 + May 2003 + + http://gdk.sourceforge.net/ + GDK + + + topics/grammars/metasyntax/lll-kort/README.txt + ReadMe + + + + Extraction + + shared/edd/lll.edd + LLL.EDD + + + topics/recovery/hunter/hunter.py + Hunter + + + shared/generators/reroot2top + reroot2top + + + + J. Kort, R. Lämmel, C. Verhoef. The Grammar Deployment Kit — System Demonstration. LDTA'02, ENTCS 65:3, 2002. + + http://www.cs.vu.nl/grammars/gdk + Abstract + + + http://www.cs.vu.nl/grammarware/gdk/ldta2002.pdf + PDF + + + + J. Kort. Grammar Deployment Kit Reference Manual. UvA 2003. + + http://gdk.sourceforge.net/gdkref.pdf + PDF + + + + Rascal diff --git a/_dev/zoo.xml b/_dev/zoo.xml index af7688b3..68c35caf 100644 --- a/_dev/zoo.xml +++ b/_dev/zoo.xml @@ -451,12 +451,19 @@ ReadMe - - Recovery + Extraction - cpp/iso-14882-1998-correct - correct + topics/grammars/cpp/iso-14882-1998/config.edd + EDD + + + topics/recovery/hunter/hunter.py + Hunter + + + cpp/iso-14882-1998-post-extract + post-extract @@ -550,14 +557,18 @@ - Recovery + Extraction http://gdk.sourceforge.net/ GDK - topics/extraction/bnf2bgf/lll2bgf.py - LLL⇒BGF + shared/edd/lll.edd + LLL.EDD + + + topics/recovery/hunter/hunter.py + Hunter @@ -618,7 +629,17 @@ ReadMe - + + Extraction + + shared/edd/lll.edd + LLL.EDD + + + topics/recovery/hunter/hunter.py + Hunter + + Extracted diff --git a/index.html b/index.html index a9a15b16..dadbb575 100644 --- a/index.html +++ b/index.html @@ -44,7 +44,10 @@

Pages

XBGF Language Manual
  • - SLPS Grammar Zoo (C, C++, C#, Java) + SLPS Grammar Zoo (Ada, C, C++, C#, Java, Modula, …) +
    • +
  • + SLPS Grammar Tank (BNF, EBNF, FL, TESCOL, …)
  • TestMatch project (comparing languages based on parsing generated test data) @@ -92,13 +95,13 @@

    Structure

    recovery
    - 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.
    grammars
    - Extracted grammars that form the SLPS Zoo. + Extracted grammars that form the SLPS Zoo, SLPS Tank. Of many grammars located here, the most interesting ones are those of - C, C++, C# and Java. + Ada, C, C++, C# and Java.
    storage
    diff --git a/tank/index.html b/tank/index.html index 99849d74..28ee70c5 100644 --- a/tank/index.html +++ b/tank/index.html @@ -13,7 +13,7 @@

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

    52 grammars and counting

    FL — (E)BNF — TESCOL

    Factorial Language

    FL Concrete Syntax — FL Abstract Syntax

    FL Concrete Syntax (4 grammars)

    ISO C++ 2008

    • Source: ISO/IEC SC22/WG21 N2723=08-0233 Working Draft, Standard for Programming Language C++ (August 2008), Annex A, pages 1089–1101 [ReadMe]
    • Recovered grammar: +
    • Extraction tools: [EDD] [Hunter] [post-extract.xbgf]

    ISO C++ 2008

    • Source: Microsoft, C# Language Specification. Version 1.0 (2002) [ReadMe] [DOC]
    • Extracted grammar: +
    • Extraction tools: [LLL.EDD] [Hunter]
    • Source: Microsoft, C# Language Specification. Version 1.0 (2002) [ReadMe] [DOC]
    • Extracted grammar: [Browsable] [BGF] [EBNF] @@ -344,4 +344,4 @@
    All grammars are distributed on terms of the CC-BY 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.

    The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 10/06/2011[↑SLPS]

    CC-BYXHTML 1.0CSS 2.1
    + its propagation to derivatives.

    The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 17/06/2011[↑SLPS]

    CC-BYXHTML 1.0CSS 2.1