|
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 | A Method for Automatic Program Inversion Based on LR(0) Parsing |
Robert Glück |
2005 |
66 | 4 |
p. 367-395 |
artikel |
|
| 2 | Infinite Unfolding and Transformations of Nondeterministic Programs |
Bjórn Lisper |
2005 |
66 | 4 |
p. 415-439 |
artikel |
|
| 3 | Point-free Program Transformation |
Alcino Cunha |
2005 |
66 | 4 |
p. 315-352 |
artikel |
|
| 4 | Program Transformation: Theoretical Foundations and Basic Techniques. Part 1 |
Alberto Pettorossi |
2005 |
66 | 4 |
p. i-iii |
artikel |
|
| 5 | Proof Methods for Corecursive Programs |
Jeremy Gibbons |
2005 |
66 | 4 |
p. 353-366 |
artikel |
|
| 6 | There and Back Again |
Olivier Danvy |
2005 |
66 | 4 |
p. 397-413 |
artikel |
6 gevonden resultaten