forked from grammarware/grammarware.github.io
/
index.html
127 lines (124 loc) · 5.97 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:xhtml="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Software Language Processing Suite: TestMatch</title>
<link href="../slps.css" rel="stylesheet" type="text/css" />
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-3743366-5']);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
</script>
</head>
<body style="background-color:#9C9;">
<div class="c">
<a href="testsize.png">
<img src="testsize.png" alt="test set sizes" width="110" />
</a>
<a href="java.png">
<img src="java.png" alt="Java inequality" width="105" />
</a>
<a href="match-algorithm.png">
<img src="match-algorithm.png" alt="nonterminal matching algorithm impact" width="117" />
</a>
<a href="match-good-bad.png">
<img src="match-good-bad.png" alt="nonterminal matching: good and bad examples" width="117" />
</a>
<a href="tescol.png">
<img src="tescol.png" alt="TESCOL nonterminal matching" width="124" />
</a>
</div>
<h1>Software Language Processing Suite</h1>
<h1>
Comparison of context-free grammars based on parsing generated test data
</h1>
<h3>Test set generation</h3>
<ul>
<li><a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/prolog/gbtf.pro?view=markup">mindepthG, distG, complete, hole, mark, vary</a> (Prolog)
</li>
<li><a href="http://slps.svn.sourceforge.net/viewvc/slps/shared/prolog/cli/gbtf.pro?view=markup">skipuppy, tc, pc, nc, bc, cdbc, main gbtf</a> (Prolog)
</li>
</ul>
<h3>ANTLR⇒BGF extraction</h3>
<ul>
<li><a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/ANTLR2.rsc?view=markup">ANTLR2 grammar</a> (Rascal)
</li>
<li><a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/ANTLR3.rsc?view=markup">ANTLR3 grammar</a> (Rascal)
</li>
<li><a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/antlrpp.py?view=markup">ANTLR pretty-printer</a> (Python)
</li>
<li><a href="http://slps.svn.sourceforge.net/viewvc/slps/topics/extraction/antlr/slps/antlr2bgf/StrippedANTLR.g?view=markup">Stripped ANTLR specification and its mapping to BGF</a> (ANTLR3)
</li>
</ul>
<h3>Grammar sources</h3>
<ul>
<li>ANTLR3 Java 5 by Dieter Habelitz: <span class="links">
[<a href="http://www.antlr.org/grammar/1207932239307/Java1_5Grammars/Java.g">Original</a>]
[<a href="../zoo/java/habelitz.html">Browsable</a>]
[<a href="../zoo/java/habelitz.bgf">BGF</a>]
[<a href="../zoo/java/habelitz.bnf">EBNF</a>]
[<a href="../zoo/java/habelitz.dms">DMS BNF</a>]
[<a href="../zoo/java/habelitz.sdf">SDF</a>]
[<a href="../zoo/java/habelitz.rsc">Rascal</a>]
</span></li>
<li>ANTLR3 Java 5 by Terence Parr: <span class="links">
[<a href="http://www.antlr.org/grammar/1152141644268/Java.g">Original</a>]
[<a href="../zoo/java/parr.html">Browsable</a>]
[<a href="../zoo/java/parr.bgf">BGF</a>]
[<a href="../zoo/java/parr.bnf">EBNF</a>]
[<a href="../zoo/java/parr.dms">DMS BNF</a>]
[<a href="../zoo/java/parr.sdf">SDF</a>]
[<a href="../zoo/java/parr.rsc">Rascal</a>]
</span></li>
<li>ANTLR2 Java 5 by Michael Stahl: <span class="links">
[<a href="http://www.antlr.org/grammar/1093454600181/java15-grammar.zip">Original</a>]
[<a href="../zoo/java/stahl.html">Browsable</a>]
[<a href="../zoo/java/stahl.bgf">BGF</a>]
[<a href="../zoo/java/stahl.bnf">EBNF</a>]
[<a href="../zoo/java/stahl.dms">DMS BNF</a>]
[<a href="../zoo/java/stahl.sdf">SDF</a>]
[<a href="../zoo/java/stahl.rsc">Rascal</a>]
</span></li>
<li>ANTLR2 Java 5 by Michael Studman: <span class="links">
[<a href="http://www.antlr.org/grammar/1090713067533/java15.g">Original</a>]
[<a href="../zoo/java/studman.html">Browsable</a>]
[<a href="../zoo/java/studman.bgf">BGF</a>]
[<a href="../zoo/java/studman.bnf">EBNF</a>]
[<a href="../zoo/java/studman.dms">DMS BNF</a>]
[<a href="../zoo/java/studman.sdf">SDF</a>]
[<a href="../zoo/java/studman.rsc">Rascal</a>]
</span></li>
<li>TESCOL grammars by Bernd Fischer and his students: <span class="links">
[<a href="http://328d.net">Original</a>]
[<a href="http://files.328d.net/TESCOL.g">Reference</a>]
[<a href="../tank/#test_compiler_language">Extracted</a>]
</span></li>
</ul>
<h3>Paper</h3>
<ul>
<li>
<a href="http://www.ecs.soton.ac.uk/people/bf">B. Fischer</a>,
<a href="http://softlang.wikidot.com/rlaemmel:home">R. Lämmel</a>,
<a href="http://grammarware.net/">V. Zaytsev</a>. <em>Comparison of Context-free Grammars Based on Parsing Generated Test Data.</em>
Pre-proceedings and post-proceedings of <a href="http://planet-sl.org/sle2011/">SLE 2011</a>.
<span class="links">
[<a href="http://softlang.uni-koblenz.de/testmatch/">Abstract</a>]
[<a href="http://grammarware.net/text/2011/testmatch-pre.pdf">PDF</a>]
[<a href="http://grammarware.net/slides/2011/testmatch-sle.pdf">Slides</a>]
</span>
</li>
</ul>
<hr />
<div class="last">
The page is maintained by <a href="http://grammarware.net/">Dr. Vadim Zaytsev</a> a.k.a. @<a href="http://twitter.com/grammarware">grammarware</a>. Last updated: July 2011.
<br />
<a href="http://validator.w3.org/check/referer"><img src="../img/vxhtml.png" alt="XHTML 1.0" /></a>
<a href="http://jigsaw.w3.org/css-validator/check/referer"><img src="../img/vcss.png" alt="CSS 2.1" /></a> </div>
</body>
</html>