PASCAL language reference manual
PASCAL language reference manual
Communications of the ACM
Thunks: a way of compiling procedure statements with some comments on procedure declarations
Communications of the ACM
Revised report on the algorithm language ALGOL 60
Communications of the ACM
Softwear Reliability
A Discipline of Programming
An introduction to the construction and verification of Alphard programs
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Semantic and syntactic specification and extension of languages.
Semantic and syntactic specification and extension of languages.
Informal Introduction to Algol 68
Informal Introduction to Algol 68
Simplifying ADA by removing limitations
ACM SIGPLAN Notices
ACM SIGAda Ada Letters
Raw pointers in application classes of C++ considered harmful
ACM SIGPLAN Notices
Hi-index | 0.00 |