Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A programmable editor for developing structured documents based on bidirectional transformations Hu, Zhenjiang
 2008
 21 1-2 p. 89-118
 artikel
2 Dynamic slicing of lazy functional programs based on redex trails Ochoa, Claudio
 2008
 21 1-2 p. 147-192
 artikel
3 Editorial Lawall, Julia
 2008
 21 1-2 p. 1-3
 artikel
4 Efficient and flexible access control via Jones-optimal logic program specialisation Barker, Steve
 2008
 21 1-2 p. 5-35
 artikel
5 Imperative-program transformation by instrumented-interpreter specialization Debois, Søren
 2008
 21 1-2 p. 37-58
 artikel
6 Program transformations for light-weight CPU accounting and control in the Java virtual machine Hulaas, Jarle
 2008
 21 1-2 p. 119-146
 artikel
7 Proving operational termination of membership equational programs Durán, Francisco
 2008
 21 1-2 p. 59-88
 artikel
8 Totally correct logic program transformations via well-founded annotations Pettorossi, Alberto
 2008
 21 1-2 p. 235
 artikel
9 Totally correct logic program transformations via well-founded annotations Pettorossi, Alberto
 2008
 21 1-2 p. 193-234
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland