The remaining trouble spots in ALGOL 60
Communications of the ACM
A correspondence between ALGOL 60 and Church's Lambda-notations: Part II
Communications of the ACM
A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM
EULER: a generalization of ALGOL, and its formal definition: Part II
Communications of the ACM
A contribution to the development of ALGOL
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Suggestions on ALGOL 60 (ROME) issues
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
Some remarks on the syntax of symbolic programming languages
Communications of the ACM
The assignment to a type procedure identifier
ALGOL Bulletin
Generic functions by nonstandard name scoping in APL
APL '81 Proceedings of the international conference on APL
The equivalence of models of tasking
Proceedings of ACM conference on Proving assertions about programs
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
A multi-processing implementation-oriented formal definition of Ada in SEMANOL
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
| Hi-index | 0.00 |