|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract interpretation and application to logic programs |
Cousot, Patrick |
1992 |
13 | 2-3 |
p. 103-179 77 p. |
artikel |
|
| 2 | Bottom-up dataflow analysis of normal logic programs |
Marriott, Kim |
1992 |
13 | 2-3 |
p. 181-204 24 p. |
artikel |
|
| 3 | Compile-time derivation of variable dependency using abstract interpretation |
Muthukumar, K. |
1992 |
13 | 2-3 |
p. 315-347 33 p. |
artikel |
|
| 4 | Deriving descriptions of possible values of program variables by means of abstract interpretation |
Janssens, G. |
1992 |
13 | 2-3 |
p. 205-258 54 p. |
artikel |
|
| 5 | Guest editor's introduction |
Debray, Saumya K. |
1992 |
13 | 2-3 |
p. 99-101 3 p. |
artikel |
|
| 6 | Multiple specialization using minimal-function graph semantics |
Winsborough, Will |
1992 |
13 | 2-3 |
p. 259-290 32 p. |
artikel |
|
| 7 | Static analysis of logic programs for independent and parallelism |
Jacobs, Dean |
1992 |
13 | 2-3 |
p. 291-314 24 p. |
artikel |
7 gevonden resultaten