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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Multiple-Clause Folding Rule Using Instantiation and Generalization David A. Rosenblueth
2005
69 1-2 p. 219-249
artikel
2 Control Generation by Program Transformation Andy King
2005
69 1-2 p. 179-218
artikel
3 Higher Order Deforestation Geoff W. Hamilton
2005
69 1-2 p. 39-61
artikel
4 Implementing Typeful Program Transformations Chiyan Chen
2005
69 1-2 p. 103-121
artikel
5 Program Transformation: Theoretical Foundations and Basic Techniques. Part 2 Alberto Pettorossi
2005
69 1-2 p. v-vii
artikel
6 Program Transformation with Scoped Dynamic Rewrite Rules Martin Bravenboer
2005
69 1-2 p. 123-178
artikel
7 Redundant Call Elimination via Tupling Wei-Ngan Chin
2005
69 1-2 p. 1-37
artikel
8 The Impact of seq on Free Theorems-Based Program Transformations Patricia Johann
2005
69 1-2 p. 63-102
artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland