nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An Action Environment
|
van den Brand, Mark |
|
2004 |
110 |
C |
p. 149-168 20 p. |
artikel |
2 |
Calife: A Generic Graphical User Interface for Automata Tools
|
Tavernier, Bertrand |
|
2004 |
110 |
C |
p. 169-172 4 p. |
artikel |
3 |
Language Analysis and Tools for Ambiguous Input Streams
|
Begel, Andrew |
|
2004 |
110 |
C |
p. 75-96 22 p. |
artikel |
4 |
Model Checking Multithreaded Programs by Means of Reduced Models
|
Gradara, Sara |
|
2004 |
110 |
C |
p. 55-74 20 p. |
artikel |
5 |
Parameterized LR Parsing
|
Thiemann, Peter |
|
2004 |
110 |
C |
p. 115-132 18 p. |
artikel |
6 |
Preface
|
Hedin, Görel |
|
2004 |
110 |
C |
p. 1-2 2 p. |
artikel |
7 |
Semantics-preserving Migration of Semantic Rules During Left Recursion Removal in Attribute Grammars
|
Lohmann, Wolfgang |
|
2004 |
110 |
C |
p. 133-148 16 p. |
artikel |
8 |
The Action Environment
|
van den Brand, Mark |
|
2004 |
110 |
C |
p. 177-180 4 p. |
artikel |
9 |
The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms
|
Johnstone, Adrian |
|
2004 |
110 |
C |
p. 97-113 17 p. |
artikel |
10 |
The GTB and PAT tools
|
Johnstone, Adrian |
|
2004 |
110 |
C |
p. 173-175 3 p. |
artikel |
11 |
TXL - A Language for Programming Language Tools and Applications
|
Cordy, James R. |
|
2004 |
110 |
C |
p. 3-31 29 p. |
artikel |
12 |
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties
|
Goldrei, Shirley |
|
2004 |
110 |
C |
p. 33-54 22 p. |
artikel |