From 96afcf5190aad2afc95f734da9fac4cb38eb58a9 Mon Sep 17 00:00:00 2001 From: grammarware Date: Wed, 20 Apr 2011 16:27:18 +0000 Subject: [PATCH] updating the SLPS Zoo with FL grammars git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1025 ab42f6e0-554d-0410-b580-99e487e6eeb2 --- Makefile | 1 + _dev/Makefile.c.zoo | 1 + _dev/Makefile.cpp.zoo | 1 + _dev/Makefile.csharp.zoo | 1 + _dev/Makefile.java.zoo | 1 + _dev/Makefile.xpath.zoo | 1 + _dev/config.zoo | 461 +++++++++++++++++++++++++++++---------- _dev/links2html.xslt | 18 +- _dev/zoo2xhtml.xslt | 45 +++- index.html | 75 ++++--- testmatch/index.html | 95 ++++---- w3c/index.html | 29 +-- xbgf/index.html | 14 +- zoo/index.html | 340 +++++++++++++++++++++++++++-- 14 files changed, 859 insertions(+), 224 deletions(-) diff --git a/Makefile b/Makefile index 1130cc1f..4d1ee16f 100644 --- a/Makefile +++ b/Makefile @@ -18,6 +18,7 @@ zooprj: make -f _dev/Makefile.cpp.zoo make -f _dev/Makefile.csharp.zoo make -f _dev/Makefile.java.zoo + make -f _dev/Makefile.fl.zoo make -f _dev/Makefile.xpath.zoo xsltproc --stringparam date `date +"%d/%m/%Y"` _dev/zoo2xhtml.xslt _dev/config.zoo > zoo/index.html xsltproc _dev/links2html.xslt _dev/java-grammars.xml | python ../topics/export/hypertext/closemeta.py > zoo/java/links.html diff --git a/_dev/Makefile.c.zoo b/_dev/Makefile.c.zoo index d322e4f1..6298af11 100644 --- a/_dev/Makefile.c.zoo +++ b/_dev/Makefile.c.zoo @@ -2,6 +2,7 @@ all: make iso-9899-1999 -f _dev/Makefile.c.zoo make iso-9899-tc2 -f _dev/Makefile.c.zoo make iso-9899-tc3 -f _dev/Makefile.c.zoo + chmod 644 zoo/c/*.bgf %: cp ../topics/grammars/c/$*/extracted-grammar.bgf zoo/c/$*.bgf diff --git a/_dev/Makefile.cpp.zoo b/_dev/Makefile.cpp.zoo index 77300932..c0025fc9 100644 --- a/_dev/Makefile.cpp.zoo +++ b/_dev/Makefile.cpp.zoo @@ -1,6 +1,7 @@ all: make iso-14882-1998 -f _dev/Makefile.cpp.zoo make iso-n2723 -f _dev/Makefile.cpp.zoo + chmod 644 zoo/cpp/*.bgf %: cp ../topics/grammars/cpp/$*/extracted-grammar.bgf zoo/cpp/$*.bgf diff --git a/_dev/Makefile.csharp.zoo b/_dev/Makefile.csharp.zoo index e39a9a88..184c1fce 100644 --- a/_dev/Makefile.csharp.zoo +++ b/_dev/Makefile.csharp.zoo @@ -10,6 +10,7 @@ all: make msft-ls-1.2 -f _dev/Makefile.csharp.zoo make msft-ls-3.0 -f _dev/Makefile.csharp.zoo make msft-ls-4.0 -f _dev/Makefile.csharp.zoo + chmod 644 zoo/csharp/*.bgf %: cp ../topics/grammars/csharp/$*/extracted-grammar.bgf zoo/csharp/$*.bgf diff --git a/_dev/Makefile.java.zoo b/_dev/Makefile.java.zoo index c421c3cb..15eda9b8 100644 --- a/_dev/Makefile.java.zoo +++ b/_dev/Makefile.java.zoo @@ -6,6 +6,7 @@ all: make parr.antlr -f _dev/Makefile.java.zoo make stahl.antlr -f _dev/Makefile.java.zoo make studman.antlr -f _dev/Makefile.java.zoo + chmod 644 zoo/java/*.bgf %.jls: cp ../topics/grammars/java/jls$*/extracted-implementable-grammar.bgf zoo/java/jls$*-impl.bgf diff --git a/_dev/Makefile.xpath.zoo b/_dev/Makefile.xpath.zoo index c1c57e4b..04d29b6e 100644 --- a/_dev/Makefile.xpath.zoo +++ b/_dev/Makefile.xpath.zoo @@ -1,5 +1,6 @@ all: make v1 -f _dev/Makefile.xpath.zoo + chmod 644 zoo/xpath/*.bgf %: cp ../topics/grammars/xpath/extracted-grammar-$*.bgf zoo/xpath/$*.bgf diff --git a/_dev/config.zoo b/_dev/config.zoo index 187680e8..15eaa38e 100644 --- a/_dev/config.zoo +++ b/_dev/config.zoo @@ -37,6 +37,95 @@ HTML⇒BGF + + R. Lämmel, V. Zaytsev. An Introduction to Grammar Convergence. iFM 2009. + + http://www.formal-methods.de/ifm09/ + iFM + + + http://dx.doi.org/10.1007/978-3-642-00255-7_17 + LNCS + + + http://portal.acm.org/citation.cfm?id=1506936.1506955 + ACM + + + http://grammarware.net/text/2009/convergence.pdf + Paper + + + http://grammarware.net/slides/2009/ifm.pdf + Slides + + + + V. Zaytsev. Recovery, Convergence and Documentation of Languages. Vrije Universiteit Amsterdam, 2010. + + http://grammarware.net/text/2010/zaytsev-thesis.pdf + Thesis + + + http://grammarware.net/slides/2010/phd-swat.pdf + Slides + + + + + R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. SCAM 2009. + + http://www2009.ieee-scam.org/ + SCAM + + + http://userpages.uni-koblenz.de/~laemmel/jls/ + Abstract + + + http://userpages.uni-koblenz.de/~laemmel/jls/scam09.pdf + Paper + + + http://userpages.uni-koblenz.de/~laemmel/jls/paper.pdf + Journal Paper + + + http://grammarware.net/slides/2009/scam.pdf + Slides + + + + 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 + + + http://grammarware.net/text/2010/wsr.pdf + Abstract + + + http://grammarware.net/slides/2010/wsr.pdf.gz + Slides + + + + 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 + + + http://arxiv.org/abs/1008.4188 + arXiv + + + http://grammarware.net/text/2011/jls-sqj.pdf + Paper + + + c @@ -90,7 +179,7 @@ ISO C++ 1998 - ISO/IEC 14882:1998(E) <em>Programming languages — C++</em> First edition + ISO/IEC 14882:1998(E) <em>Programming languages — C++</em>. First edition September 1998 Annex A, pages 667–684 @@ -208,15 +297,15 @@ ISO C# 2003 - ISO/IEC 23270:2003(E) <em>Information technology — Programming languages — C#</em> First edition + ISO/IEC 23270:2003(E) <em>Information technology — Programming languages — C#</em>. First edition 2003 - Extracted grammar + Extracted iso-23270-2003 - Recovered grammar + Recovered iso-23270-2003-recovered @@ -277,7 +366,7 @@ ISO C# 2006 - ISO/IEC 23270:2006(E) <em>Information technology — Programming languages — C#</em> Second edition + ISO/IEC 23270:2006(E) <em>Information technology — Programming languages — C#</em>. Second edition September 2006 http://standards.iso.org/ittf/PubliclyAvailableStandards/index.html @@ -298,7 +387,7 @@ Microsoft C# 1.0 - C# Language Specification. Version 1.0 + <em>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 @@ -315,7 +404,7 @@ Microsoft C# 1.2 - C# Language Specification. Version 1.2 + <em>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 @@ -332,7 +421,7 @@ Microsoft C# 3.0 - C# Language Specification. Version 3.0 + <em>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 @@ -349,7 +438,7 @@ Microsoft C# 4.0 - C# Language Specification. Version 4.0 + <em>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 @@ -391,44 +480,7 @@ - - R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. SCAM 2009. - - http://www2009.ieee-scam.org/ - SCAM - - - http://userpages.uni-koblenz.de/~laemmel/jls/ - Abstract - - - http://userpages.uni-koblenz.de/~laemmel/jls/scam09.pdf - Paper - - - http://userpages.uni-koblenz.de/~laemmel/jls/paper.pdf - Journal Paper - - - http://grammarware.net/slides/2009/scam.pdf - Slides - - - - 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 - - - http://grammarware.net/text/2010/wsr.pdf - Abstract - - - http://grammarware.net/slides/2010/wsr.pdf.gz - Slides - - + J2SE 1.2 “Playground” @@ -454,44 +506,7 @@ - - R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. SCAM 2009. - - http://www2009.ieee-scam.org/ - SCAM - - - http://userpages.uni-koblenz.de/~laemmel/jls/ - Abstract - - - http://userpages.uni-koblenz.de/~laemmel/jls/scam09.pdf - Paper - - - http://userpages.uni-koblenz.de/~laemmel/jls/paper.pdf - Journal Paper - - - http://grammarware.net/slides/2009/scam.pdf - Slides - - - - 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 - - - http://grammarware.net/text/2010/wsr.pdf - Abstract - - - http://grammarware.net/slides/2010/wsr.pdf.gz - Slides - - + J2SE 5.0 “Tiger” @@ -641,66 +656,278 @@ post-extraction + - R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. SCAM 2009. + R. Lämmel, V. Zaytsev. Comparison of Context-free Grammars Based on Parsing Generated Test Data. - http://www2009.ieee-scam.org/ - SCAM + http://grammarware.net/text/2011/testmatch.pdf + Draft - http://userpages.uni-koblenz.de/~laemmel/jls/ - Abstract + http://slps.sf.net/testmatch + Online + + + + + fl + Factorial Language + FL + + FL in ANTLR + + + Ralf Lämmel, <code>FL.g</code> + + 17 May – 16 July 2008 - http://grammarware.net/text/2009/jls-scam.pdf - Paper + http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/java1/FL.g?view=markup + SVN - http://grammarware.net/slides/2009/scam.pdf - Slides + http://www.antlr.org/ + ANTLR - + + + Extracted + antlr + + + Extraction + + http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/antlrstrip.py?view=markup + antlrstrip.py + + + http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g?view=markup + StrippedANTLR.g + + + + + + + FL in DCG + + + Ralf Lämmel, <code>Parser.pro</code> + + 28 July – 3 September 2008 + + http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/prolog1/Parser.pro?view=markup + SVN + + + + Extracted + dcg + + + Extraction + + http://slps.svn.sourceforge.net/viewvc/slps/shared/prolog/cli/dcg2bgf.pro?view=markup + dcg2bgf.pro + + - R. Lämmel, V. Zaytsev. Reverse Engineering Grammar Relationships. WSR 2010. + R. Lämmel, G. Riedewald. Prological Language Processing. LDTA 2001. - http://www.uni-koblenz-landau.de/koblenz/fb4/institute/uebergreifend/sre/conferences/wsr/wsr2010 - WSR + http://ldta.info/2001/ + LDTA - http://grammarware.net/text/2010/wsr.pdf - Abstract + http://homepages.cwi.nl/~ralf/plp/paper.pdf + Paper - http://grammarware.net/slides/2010/wsr.pdf.gz + http://homepages.cwi.nl/~ralf/plp/slides.pdf Slides - - R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. ACM CRR; SQJ 19:2. + + + + + FL in Ecore + + + Guido Wachsmuth, Vadim Zaytsev, <code>fl.ecore</code> + + 26 June 2008 – 28 May 2009 - http://dx.doi.org/10.1007/s11219-010-9116-5 - SQJ + http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/emf1/fl.ecore?view=markup + SVN + + + Extracted + ecore + + + + Vadim Zaytsev, <code>fl.ecore</code> generated from <code>fl.xsd</code> + + 28 May 2009 - http://arxiv.org/abs/1008.4188 - arXiv + http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/emf2/model/fl.ecore?view=markup + SVN - http://grammarware.net/text/2011/jls-sqj.pdf - Paper + http://www.eclipse.org + Eclipse - - - R. Lämmel, V. Zaytsev. Comparison of Context-free Grammars Based on Parsing Generated Test Data. + + + Extracted + ecore2 + + + Extraction - http://grammarware.net/text/2011/testmatch.pdf - Draft + http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/ecore/ecore2bgf.xslt?view=markup + ecore2bgf.xslt + + + + + FL in Java + + + Ralf Lämmel, <code>Program.java</code>, <code>Function.java</code> et al. + + 17 May – 28 July 2008 - http://slps.sf.net/testmatch - Online + http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/java1/types/ + SVN - + + + Extracted + om + + + + Ralf Lämmel, <code>Program.java</code>, <code>Function.java</code> et al. generated from <code>fl.xsd</code>. + + 21 May – 28 July 2008 + + http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/java3/fl/ + SVN + + + http://jaxb.java.net/ + JAXB + + + + Extracted + jaxb + + + Extraction + + http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/java/slps/java2bgf/Tool.java?view=markup + slps.java2bgf.Tool + + + + + + + FL in SDF + + + Ralf Lämmel, Vadim Zaytsev <code>FL.sdf</code>. + + 1–25 Aug 2008 + + http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/asfsdf/ + SVN + + + + Extracted + sdf + + + Extraction + + http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Main.sdf?view=markup + Main.sdf + + + http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Main.asf?view=markup + Main.asf + + + http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Tokens.sdf?view=markup + Tokens.sdf + + + http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/sdf/Tokens.asf?view=markup + Tokens.asf + + + + + + + FL in TXL + + + Vadim Zaytsev <code>FL.Txl</code>. + + 6–7 Jul 2009 + + http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/txl/FL.Txl?view=markup + SVN + + + + Extracted + txl + + + Extraction + + http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/txl/TXLGrammar/Txl/txl.grm?view=markup + txl.grm + + + http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/txl/txl2bgf.xslt?view=markup + txl2bgf.xslt + + + + + + FL in XML Schema + + + Ralf Lämmel, <code>fl.xsd</code>. + + 20 May – 29 July 2008 + + http://slps.svn.sourceforge.net/viewvc/slps/topics/fl/xsd/fl.xsd?view=markup + SVN + + + + Extracted + xsd + + + Extraction + + http://slps.svn.sourceforge.net/viewvc/slps/shared/prolog/cli/xsd2bgf.pro?view=markup + xsd2bgf.pro + + + + diff --git a/_dev/links2html.xslt b/_dev/links2html.xslt index 9580cfba..00e271a1 100644 --- a/_dev/links2html.xslt +++ b/_dev/links2html.xslt @@ -9,9 +9,25 @@ + -

+

+ +

diff --git a/_dev/zoo2xhtml.xslt b/_dev/zoo2xhtml.xslt index a9d3a663..9a31fdb1 100644 --- a/_dev/zoo2xhtml.xslt +++ b/_dev/zoo2xhtml.xslt @@ -10,6 +10,20 @@ Software Language Processing Suite — Grammar Zoo +

@@ -25,7 +39,14 @@ — - + + + + + + + +

@@ -49,6 +70,13 @@

+ + + ( + + grammars) + +

    @@ -58,6 +86,14 @@ + + + + + + + + @@ -115,6 +151,10 @@
+ + All grammars are distributed on terms of the CC-BY license + or on terms of any other license bound to the source of our research in a way that enforces its propagation to derivatives.
+ [↑SLPS] The page is maintained by Dr. @@ -125,6 +165,7 @@
+ CC-BY XHTML 1.0 @@ -174,7 +215,7 @@ [Browsable] [BGF] [EBNF] - + [LLL] [DMS BNF] diff --git a/index.html b/index.html index 5d53d5d5..40c249e4 100644 --- a/index.html +++ b/index.html @@ -1,24 +1,35 @@ - + Software Language Processing Suite +

Software Language Processing Suite -
- - SourceForge.net Logo - +
+ SourceForge.net Logo

Mission

The project facilitates exposition and comparison of approaches and techniques on language processing in a way that is relevant for CS - students, teachers, scientists, and practitioners. + students, teachers, scientists, engineers and practitioners.

Pages

@@ -71,11 +82,13 @@

Structure

convergence
- Grammar convergence scenarios: Factorial Language, Java Language Specification, etc. + Grammar convergence tool (Language Convergence Infrastructure) + and grammar convergence scenarios: Factorial Language, Java Language Specification, etc.
extraction
- Grammar extractors. + Grammar extractors: getting grammar knowledge in a form of BGF from + ANTLR, DCG, Ecore, HTML, BNF dialects, source code, SDF, TXL, Rascal, XML Schema, …
recovery
@@ -84,25 +97,44 @@

Structure

grammars
Extracted grammars that form the SLPS Zoo. - Java grammars are also located here. + Of many grammars located here, the most interesting ones are those of + C, C++, C# and Java.
storage
Formats for storing language documentation and grammar syntax definitions: Language Document Format, BNF-like Grammar Format and similar topics. Work on metasyntax in progress.
-
presentation
+
investigation
+
+ Grammar analysis, metrics, visualisations, normalisations. +
+
export
- Mappers from BGF to elsewhere: pretty-printers, grammar analyses, metrics, normalisations, etc. + The reverse of extraction: mappers from BGF to elsewhere: + pretty-printers, hypertext enablers, generators of Rascal and TXL, etc.
transformation
Grammar transformation and language document transformation, complete with test sets.
+
testing
+
+ Combinatorial test data generation framework and input data for and around the + TestMatch project. +
exercises
Lab exercises for the course Programming Paradigms and Formal Semantics.
+
parsing
+
+ Parsing-related materials for the same course (in Haskell). +
+
semantics
+
+ Semantics-related materials for the same course (in Prolog). +
documents
Language documents. Work in progress. @@ -112,10 +144,6 @@

Structure

Some encodings of semantics derived from Nielson and Nielson, 2007 (and prior versions). In particular, the denotational semantics of While language.
-
while
-
- While language. Outdated. -
apimigration
API migration. Work in progress. @@ -180,17 +208,8 @@

Structure

- - - - - - - - +
+ The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: April 2011. +
+ diff --git a/testmatch/index.html b/testmatch/index.html index 0f720e8f..11e35d2a 100644 --- a/testmatch/index.html +++ b/testmatch/index.html @@ -1,12 +1,28 @@ + Software Language Processing Suite: TestMatch + -
nonterminal matching algorithm impact
+
+ nonterminal matching algorithm impact +

Software Language Processing Suite

Comparison of context-free grammars based on parsing generated test data @@ -14,107 +30,94 @@

[page under construction]

-
test set sizes
+
+ test set sizes +

Test set generation

-

ANTLR⇒BGF extraction

+

ANTLR⇒BGF extraction

-
Java inequality
+
+ Java inequality +

ANTLR Java 5 sources

Habelitz
Parr
Stahl
Studman
-
TESCOL nonterminal matching
+
+ TESCOL nonterminal matching +

TESCOL sources

-
nonterminal matching: good and bad examples
+
+ nonterminal matching: good and bad examples +

Paper

  • - 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. Submitted to SLE 2011. [Abstract] diff --git a/w3c/index.html b/w3c/index.html index 8aa0431d..fa451e67 100644 --- a/w3c/index.html +++ b/w3c/index.html @@ -5,12 +5,25 @@ Software Language Processing Suite: The XPath case study +

    Software Language Processing Suite

    -

    Mapping Spec Schema to LDF
    [page under construction]

    +

    Mapping Spec Schema to LDF
    [page under construction]

    - - - - - - - - + diff --git a/xbgf/index.html b/xbgf/index.html index 5148caf6..7c1d9238 100644 --- a/xbgf/index.html +++ b/xbgf/index.html @@ -28,7 +28,19 @@ background-color: #ECECEC; } -

    +

    BGF transformation operator suite v.1.0

    2010-03-07

    Foreword

    This chapter describes the transformational suite for BGF. diff --git a/zoo/index.html b/zoo/index.html index be2b830d..e14c2308 100644 --- a/zoo/index.html +++ b/zoo/index.html @@ -1,11 +1,22 @@ Software Language Processing Suite — Grammar Zoo -

    +

    Software Language Processing Suite

    Grammar Zoo -

    27 grammars and counting

    C — C++ — C# — Java — XPath

    C

    ISO C 1999 — ISO C 2005 — ISO C 2007

    ISO C 1999

    • Source: ISO/IEC 9899:1999(E) Programming languages — C (December 1999), Annex A, pages 402–416 +

36 grammars and counting

C — C++ — C# — Java — FL — XPath

C

ISO C 1999 — ISO C 2005 — ISO C 2007

ISO C 1999

  • Source: ISO/IEC 9899:1999(E) Programming languages — C (December 1999), Annex A, pages 402–416
  • Extracted grammar: [Browsable] @@ -83,7 +94,7 @@ [BGF⇒SDF] [BGF⇒Rascal] -

C++

ISO C++ 1998 — ISO C++ 2008

ISO C++ 1998

  • Source: ISO/IEC 14882:1998(E) Programming languages — C++ First edition (September 1998), Annex A, pages 667–684 +

C++

ISO C++ 1998 — ISO C++ 2008

ISO C++ 1998

  • Source: ISO/IEC 14882:1998(E) Programming languages — C++. First edition (September 1998), Annex A, pages 667–684
  • Extracted grammar: [Browsable] @@ -255,9 +266,9 @@ [BGF⇒SDF] [BGF⇒Rascal] -

ISO C# 2003

  • Source: ISO/IEC 23270:2003(E) Information technology — Programming languages — C# First edition (2003) +

ISO C# 2003 (2 grammars)

  • Source: ISO/IEC 23270:2003(E) Information technology — Programming languages — C#. First edition (2003)
    • -
  • Extracted grammar grammar: +
  • Extracted grammar: [Browsable] [BGF] [EBNF] @@ -267,7 +278,7 @@ [Rascal]
    • -
  • Recovered grammar grammar: +
  • Recovered grammar: [Browsable] [BGF] [EBNF] @@ -308,7 +319,7 @@ [Slides] -

ISO C# 2006

  • Source: ISO/IEC 23270:2006(E) Information technology — Programming languages — C# Second edition (September 2006) +

ISO C# 2006

  • Source: ISO/IEC 23270:2006(E) Information technology — Programming languages — C#. Second edition (September 2006) [Standard] [PDF.ZIP] @@ -338,7 +349,7 @@ [BGF⇒SDF] [BGF⇒Rascal] -

Microsoft C# 1.0

  • Source: C# Language Specification. Version 1.0 (2002) +

Microsoft C# 1.0

Microsoft C# 1.2

  • Source: C# Language Specification. Version 1.2 (2003) +

Microsoft C# 1.2

Microsoft C# 3.0

  • Source: C# Language Specification. Version 3.0 (2007) +

Microsoft C# 3.0

Microsoft C# 4.0

  • Source: C# Language Specification. Version 4.0 (2010) +

Microsoft C# 4.0

Java

JDK 1.0 — J2SE 1.2 “Playground” — J2SE 5.0 “Tiger”

JDK 1.0

  • Source: James Gosling, Bill Joy, Guy Steele, Java Language Specification (1996) +

Java

JDK 1.0 — J2SE 1.2 “Playground” — J2SE 5.0 “Tiger”

JDK 1.0 (2 grammars)

  • Source: James Gosling, Bill Joy, Guy Steele, Java Language Specification (1996) [HTML] [PDF] @@ -505,7 +516,15 @@ [Slides] -

J2SE 1.2 “Playground”

  • Source: James Gosling, Bill Joy, Guy Steele, Gilad Bracha, Java Language Specification Second Edition (1998) +
    • +
  • R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. ACM CRR; SQJ 19:2. + [SQJ] + + [arXiv] + + [Paper] + +

J2SE 1.2 “Playground” (2 grammars)

  • Source: James Gosling, Bill Joy, Guy Steele, Gilad Bracha, Java Language Specification Second Edition (1998) [HTML] [PDF] @@ -560,7 +579,15 @@ [Slides] -

J2SE 5.0 “Tiger”

  • Source: James Gosling, Bill Joy, Guy Steele, Gilad Bracha, Java Language Specification Third Edition (2004) +
    • +
  • R. Lämmel, V. Zaytsev. Recovering Grammar Relationships for the Java Language Specification. ACM CRR; SQJ 19:2. + [SQJ] + + [arXiv] + + [Paper] + +

J2SE 5.0 “Tiger” (6 grammars)

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

FL in DCG

  • Source: + Ralf Lämmel, Parser.pro + (28 July – 3 September 2008) + [SVN] + +
    • +
  • Extracted grammar: + [Browsable] + [BGF] + [EBNF] + + [DMS BNF] + [SDF] + [Rascal] + +
    • +
  • Extraction tools: + [dcg2bgf.pro] +
  • R. Lämmel, G. Riedewald. Prological Language Processing. LDTA 2001. + [LDTA] + + [Paper] + + [Slides] + +
    • +
  • R. Lämmel, V. Zaytsev. An Introduction to Grammar Convergence. iFM 2009. + [iFM] + + [LNCS] + + [ACM] + + [Paper] + + [Slides] + +
    • +
  • V. Zaytsev. Recovery, Convergence and Documentation of Languages. Vrije Universiteit Amsterdam, 2010. + [Thesis] + + [Slides] + +

FL in Ecore (2 grammars)

  • Source: + Guido Wachsmuth, Vadim Zaytsev, fl.ecore + (26 June 2008 – 28 May 2009) + [SVN] + +
    • +
  • Extracted grammar: + [Browsable] + [BGF] + [EBNF] + + [DMS BNF] + [SDF] + [Rascal] + +
    • +
  • Source: + Vadim Zaytsev, fl.ecore generated from fl.xsd + (28 May 2009) + [SVN] + + [Eclipse] + +
    • +
  • Extracted grammar: + [Browsable] + [BGF] + [EBNF] + + [DMS BNF] + [SDF] + [Rascal] + +
    • +
  • Extraction tools: + [ecore2bgf.xslt] +
  • V. Zaytsev. Recovery, Convergence and Documentation of Languages. Vrije Universiteit Amsterdam, 2010. + [Thesis] + + [Slides] + +

FL in Java (2 grammars)

  • Source: + Ralf Lämmel, Program.java, Function.java et al. + (17 May – 28 July 2008) + [SVN] + +
    • +
  • Extracted grammar: + [Browsable] + [BGF] + [EBNF] + + [DMS BNF] + [SDF] + [Rascal] + +
    • +
  • Source: + Ralf Lämmel, Program.java, Function.java et al. generated from fl.xsd. + (21 May – 28 July 2008) + [SVN] + + [JAXB] + +
    • +
  • Extracted grammar: + [Browsable] + [BGF] + [EBNF] + + [DMS BNF] + [SDF] + [Rascal] + +
    • +
  • Extraction tools: + [slps.java2bgf.Tool] +
  • R. Lämmel, V. Zaytsev. An Introduction to Grammar Convergence. iFM 2009. + [iFM] + + [LNCS] + + [ACM] + + [Paper] + + [Slides] + +
    • +
  • V. Zaytsev. Recovery, Convergence and Documentation of Languages. Vrije Universiteit Amsterdam, 2010. + [Thesis] + + [Slides] + +

FL in SDF

FL in TXL

  • Source: + Vadim Zaytsev FL.Txl. + (6–7 Jul 2009) + [SVN] + +
    • +
  • Extracted grammar: + [Browsable] + [BGF] + [EBNF] + + [DMS BNF] + [SDF] + [Rascal] + +
    • +
  • Extraction tools: + [txl.grm] + + [txl2bgf.xslt] +
  • V. Zaytsev. Recovery, Convergence and Documentation of Languages. Vrije Universiteit Amsterdam, 2010. + [Thesis] + + [Slides] + +

FL in XML Schema

  • Source: + Ralf Lämmel, fl.xsd. + (20 May – 29 July 2008) + [SVN] + +
    • +
  • Extracted grammar: + [Browsable] + [BGF] + [EBNF] + + [DMS BNF] + [SDF] + [Rascal] + +
    • +
  • Extraction tools: + [xsd2bgf.pro] +
  • R. Lämmel, V. Zaytsev. An Introduction to Grammar Convergence. iFM 2009. + [iFM] + + [LNCS] + + [ACM] + + [Paper] + + [Slides] + +
    • +
  • V. Zaytsev. Recovery, Convergence and Documentation of Languages. Vrije Universiteit Amsterdam, 2010. + [Thesis] + + [Slides] +

XPath

XPath 1.0

XPath 1.0

  • Source: XML Path Language (XPath), Version 1.0, W3C Recommendation (16 November 1999) [XML] @@ -765,4 +1071,6 @@ [MetaEnv]
  • Rascal Meta Programming Language: [Rascal DSL] -
[↑SLPS]The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: 18/04/2011

XHTML 1.0CSS 2.1
+
+ All grammars are distributed on terms of the CC-BY license + or on terms of any other license bound to the source of our research in a way that enforces its propagation to derivatives.

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

CC-BYXHTML 1.0CSS 2.1