GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
Proceedings of ACM conference on Proving assertions about programs
Algol-60 Implementation
Control structure aptness: A case study using top-down parsing
ICSE '78 Proceedings of the 3rd international conference on Software engineering
ACM '76 Proceedings of the 1976 annual conference
Hi-index | 0.00 |