Comparison of Context-free Grammars Based on Parsing Generated Test Data
Test set generation
mindepthG, distG, complete, hole, mark, vary
(Prolog)
skipuppy, tc, pc, nc, bc, cdbc, main gbtf
(Prolog)
ANTLR⇒BGF extraction
ANTLR2 grammar
(Rascal)
ANTLR3 grammar
(Rascal)
ANTLR pretty-printer
(Python)
Stripped ANTLR specification and its mapping to BGF
(ANTLR3)
Grammar sources
ANTLR3 Java 5 by Dieter Habelitz:
[
Original
] [
Browsable
] [
BGF
] [
EBNF
] [
DMS BNF
] [
SDF
] [
Rascal
]
ANTLR3 Java 5 by Terence Parr:
[
Original
] [
Browsable
] [
BGF
] [
EBNF
] [
DMS BNF
] [
SDF
] [
Rascal
]
ANTLR2 Java 5 by Michael Stahl:
[
Original
] [
Browsable
] [
BGF
] [
EBNF
] [
DMS BNF
] [
SDF
] [
Rascal
]
ANTLR2 Java 5 by Michael Studman:
[
Original
] [
Browsable
] [
BGF
] [
EBNF
] [
DMS BNF
] [
SDF
] [
Rascal
]
TESCOL grammars by Bernd Fischer and his students:
[
Original
] [
Reference
] [
Extracted
]
Publications
B. Fischer
,
R. Lämmel
,
V. Zaytsev
.
Comparison of Context-free Grammars Based on Parsing Generated Test Data.
Pre-proceedings of
SLE 2011
, Braga, Portugal.
[
Abstract
] [
PDF
] [
Slides
]
B. Fischer
,
R. Lämmel
,
V. Zaytsev
.
Comparison of Context-free Grammars Based on Parsing Generated Test Data.
Post-proceedings of
SLE 2011
, LNCS, Springer.
[
Abstract
] [
PDF
] [
DOI
]
This is a part of a bigger initiative called
Software Language Processing Suite
.
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: December 2012.
