|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An abstract programming language and correctness proofs |
Liu, Shaoying |
1993 |
18 | 4 |
p. 273-282 10 p. |
artikel |
|
| 2 | An operational semantics for Icon: Implementation of a procedural goal-directed language |
O'Bagy, Janalee |
1993 |
18 | 4 |
p. 217-239 23 p. |
artikel |
|
| 3 | A synthesis of type-checking and parsing |
McCrosky, Carl |
1993 |
18 | 4 |
p. 241-250 10 p. |
artikel |
|
| 4 | Facet Grammars: Towards static semantic analysis by context-free parsing |
Bailes, Paul A |
1993 |
18 | 4 |
p. 251-271 21 p. |
artikel |
|
| 5 | List of contents and author index |
1993 |
18 | 4 |
p. i-iv nvt p. |
artikel |
5 gevonden resultaten