|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Editorial |
Lawall, Julia |
2011 |
24 | 1-2 |
p. 1-2 |
artikel |
|
| 2 | Improving type error messages for generic Java |
Boustani, Nabil el |
2011 |
24 | 1-2 |
p. 3-39 |
artikel |
|
| 3 | Logical approximation for program analysis |
Simmons, Robert J. |
2011 |
24 | 1-2 |
p. 41-80 |
artikel |
|
| 4 | Shortcut fusion rules for the derivation of circular and higher-order programs |
Pardo, Alberto |
2011 |
24 | 1-2 |
p. 115-149 |
artikel |
|
| 5 | Side-effect localization for lazy, purely functional languages via aspects |
Chen, Kung |
2011 |
24 | 1-2 |
p. 151-189 |
artikel |
|
| 6 | Static consistency checking for Verilog wire interconnects |
Salama, Cherif |
2011 |
24 | 1-2 |
p. 81-114 |
artikel |
6 gevonden resultaten