|
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 | Constraint specialisation in Horn clause verification |
Kafle, Bishoksan |
2017 |
137 | C |
p. 125-140 16 p. |
artikel |
|
| 2 | Editorial Board |
2017 |
137 | C |
p. IFC- 1 p. |
artikel |
||
| 3 | Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain |
Bahr, Patrick |
2017 |
137 | C |
p. 63-97 35 p. |
artikel |
|
| 4 | Incremental evaluation of higher-order attributes |
Bransen, Jeroen |
2017 |
137 | C |
p. 98-124 27 p. |
artikel |
|
| 5 | Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15) |
Asai, Kenichi |
2017 |
137 | C |
p. 1- 1 p. |
artikel |
|
| 6 | Verifying relational properties of functional programs by first-order refinement |
Asada, Kazuyuki |
2017 |
137 | C |
p. 2-62 61 p. |
artikel |
6 gevonden resultaten