1983 | ||
---|---|---|
4 | J. C. Heliard: Compiling Ada. Method and tools for compiler construction 1983: 371- | |
1980 | ||
3 | Jean Ichbiah, John G. P. Barnes, J. C. Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann: Modules and Visibility in the Ada Programming Language. On the Construction of Programs 1980: 153-192 | |
2 | Olivier Roubine, J. C. Heliard: Parallel Processing in Ada. On the Construction of Programs 1980: 193-212 | |
1976 | ||
1 | Jean Ichbiah, J. C. Heliard: A Case Study of Structured Programming with Correctness Proofs. ECI 1976: 276-286 |
1 | John G. P. Barnes | [3] |
2 | Jean Ichbiah | [1] [3] |
3 | Bernd Krieg-Brückner | [3] |
4 | Olivier Roubine | [2] [3] |
5 | Brian A. Wichmann | [3] |