Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             12 gevonden resultaten
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
                             12 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland